The Distributed, Embedded and Intelligent Systems (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