Kim Guldstrand Larsen
Professor, Institut for Datalogi
The research of the DEIS unit at Aalborg University 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.