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.

  • News

  • Contact

    Department of Computer Science
    Aalborg University

    Selma Lagerlöfs Vej 300,
    DK-9220 Aalborg East
    Office: 0.2.32
    Mail: kgl ‘at’ cs.aau.dk

    PHONE : +45 99 40 80 80 (Switchboard)
    PHONE : +45 99 40 88 93 (Direct)
    PHONE : +45 22 17 11 59 (Mobile)
    FAX : +45 98 15 98 89