The DEIS research group covers mathematical foundation, verification tools, validation methodologies, probabilistic graphical models and machine learning focusing on distributed, embedded and intelligent systems.
This includes the following areas:
- Semantic theories for modelling the behaviour 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