DEIS research unit
CISS is the central research centre in the DEIS research unit – Distributed, Embedded and Intelligent Systems (DEIS) at the Department of Computer Science at Aalborg University.
Distributed, Embedded and Intelligent Systems is one of three research units at the Department of Computer Science. The unit covers real-time and distributed systems, networks, formalisms for the description and analysis of computer systems as well as tools for verification and validation.
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
Each of the four research directions mentioned above constitutes an area in its own right. Moreover, the areas are interrelated in a number of ways:
Semantic models offer important guidelines for development of languages and paradigms for distributed systems; semantic models are necessary prerequisites for development of verification and inference algorithms and tools; the development of validation and inference tools provides new insight into the underlying models on one hand, and are applied in environments for the construction and analysis of distributed, embedded and intelligent systems on the other; the usage of distributed, embedded and intelligent software in increasingly complex systems provides valuable insight into the strengths and weaknesses of existing models, algorithms and tools, and serve as inspiration for development of new ones. Machine learning is central for data-driven development of intelligent software. This complementing and completes the units focus on model-driven development.