I am a Professor in the Department of Computer Science at Aalborg University within the Distributed and Embedded Systems Unit and am director of the ICT-competence center CISS, Center for Embedded Software Systems. I am also director of DaNES, Danish Network of Embedded Systems, a Advanced Technology Platform. Finally I am director of the Aalborg section of BRICS.

Affiliation and Research

My research area is theoretical computer science, more precisely the semantics of nondeterminism and concurrency. My particular interest lies in validation and verification of embedded systems, real-time and hybrid systems Currently I am spending most of my research time on developing the modelchecker UPPAAL in collaboration with the research group at Uppsala University. During next few years I intend to invest substantial effort in two new European projects: AMETIST (methods for dynamic resource allocation and timing analysis, project, partners) and ARTIST (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.