Information Assurance Group

Information Assurance Group is a reseach and development group led by Professor Janusz Górski focusing on issues of IT risk and dependability.

The aim of IAG research team is to define new methods for improvement of information systems dependability. The group is continuously developing the methodology (named 'Trust-IT') for analysing and justifying trustworthiness of IT systems and infrastructures as well as a set of tools supporting application of the methodology. The main software product is the TCT (Trust Case Toolbox) platform - a tool enabling construction of assurance cases. The other areas of IAG research focus on more specific issues e.g. risk management, analysis of fault causes, privacy protection in agent systems and internet applications, security analysis of IT systems, safety of mobile robots, inspections for defect detection in software artefacts.  

Knowledge Management Group is a research and development group led by Professor Krzysztof Goczyła focusing on areas connected with knowledge an information management.

Research activities of KMG group are aimed at development of new methods for effective information management and knowledge management. The priority of the group is the suitability of proposed methods and tools to the management of large volumens of data available in World Wide Web. The work of KMG is focused on ontological methods of representing knowledge which are the core element of Semantic Web initiative. The main product of the group is KaSeA reasoning system developed for management of large databases compliant to Semantic Web. The system implements the new method of reasoning from description logic based ontologies named cartographical approach.