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. I am also director of DaNES, Danish Network for Intelligent Embedded Systems, an Advanced Technology Platform, and the Innovation Network InfinIT. Finally I am co-director of the VKR Center of Excellence MT-LAB and will be the director of the new Danish-Chinese Basic Research Center IDEA4CPS.

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 optimization, testing, synthesis and compositional analysis .

Currently I am investing substantial effort in a number of European projects:  Quasimodo, Multiform, Gasics, RECOMP and ARTIST Design NoE (a network for real-time and embedded systems, project). Due to several reqeusts I have finally made my PhD Thesis from Edinburgh University available online here.