Research Groups

ICIS has six research groups, their focus is as follows:

Foundations

To develop and study formal languages and logical theories involving algorithms, proofs, processes, computations, correctness and complexity, as well as developing and experimenting with computer tools that support these languages and logics.

Software technology

To develop theory, methods and tools for specification, programming (in particular functional and generic programming techniques), static analyses (especially type systems), and dynamic analyses (with a focus on specification and model-based testing) to support designers and developers in the construction and verification of reliable software.

Information and knowledge systems

To perform fundamental and applied research around the theme of knowledge-intensive systems, i.e. systems that can elicit, structure and process implicitly and explicitly represented knowledge of a problem or domain, drawing upon ideas, methods and techniques from information systems and artificial intelligence.

Security of systems

To develop theories, formal methods and tools that contribute to the security of protocols and software, and contribute to ongoing developments and debates on socially relevant issues such as privacy, open source, electronic voting, biometric passports, etc.

Informatics for technical applications

To carry out fundamental research on formal methods and tools for the specification, design, analysis and testing of computer systems for technical applications (in particular embedded systems and protocols), and demonstrate and assess the effectiveness of using these methods and tools in the industrial software development process.