I am a professor in the Department of Computer Science at Aalborg University within the Distributed and Embedded Systems Unit and director of the ICT-competence center CISS, Center for Embedded Software Systems.
In 2015 I won an ERC Advanced Grant with the project LASSO for learning, analysis, synthesis and optimization of cyber physical systems.
I am also director of the Sino-Danish Basic Research Center IDEA4CPS, the Danish Innovation Network InfinIT, as well as the newly founded innovation research center DiCyPS: Data Intensive Cyber Physical Systems.
Affiliation and Research
My research interests include modeling, verification, performance analysis of real-time and embedded systems with applications to concurrency theory and model checking. In particular I am prime investigator of the real-time verification UPPAAL as well as the various new branches of the tool targeted towards planning, optimization, testing, synthesis and compositional analysis .
Currently I am investing substantial effort in a number of European projects including (amongst others) SENSATION, CASSTING, CRAFTERS, ENCOURAGE, MANTIS, CLINES, ICT Energy and Transatlantic CPS Summit.
Due to several reqeusts I have finally made my PhD Thesis from Edinburgh University available online here.