Kim Guldstrand Larsen

Professor, Institut for Datalogi

Distributed, Embedded and Intelligent Systems CISS - Center for Embedded Software Systems, Aalborg University | kgl@cs.aau.dk

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.