The unit’s research concerns modelling, analysis and realization of computer programs with emphasis on distributed, embedded and intelligent systems. This includes the following areas:

• Semantic theories for modelling the behavior of computer programs and systems
• Design, implementation and models for analysis and construction of distributed, embedded and intelligent systems.
• Algorithms, methods and tools for verification, and validation of programs and systems.
• Probabilistic models and algorithms for intelligent decision making and machine learning.

For more information see
DEIS webpage