I am a professor in the Department of Computer Science at Aalborg University within the Distributed, Embedded Systems and Intelligent (DEIS) 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 Danish Innovation Network InfinIT, as well as the Innovation Fund Denmark research center DiCyPS. I am the PI of the newly funded Villum Synergy Project CLAIRE and the project BEOCOVID funded by Poul Due Jensen Grundfos Foundation.  I am also co-PI in the Innovation Fund Denmark projects FED and DONUT and the Vienna Science and Technology Fund project WHATIF.

Research

My research interests include modeling and semantics, verification and logic, concurrency theory, performance analysis of real-time, embedded and cyber-physical systems, model checking and machine learning with numerous application in transport, energy and water management.  I am prime investigator of the award winning tool UPPAAL as well as its branches targeting planning, optimization, testing, synthesis, machine learning and compositional analysis.

Affiliations

• Foreign Expert of China, Distinguished Professor, Northeastern University, China  (2018-)
• INRIA International Chair, France (2016- )

Upcoming Conferences (please submit) & Talks

• Synthesis of Models and Systems, Simons Institute, Berkeley,  Spring 2021.
  (Invited Lecture).
• TACAS 2021 (Chair)
• CAV 2021 (PC Member)
• HSCC 2021 (PC Member)
• Workshop on Verified Systems, Isaac Newton Institute, Cambridge, June, 2021
  (Co-Organizer)

Spin-outs

• UP4ALL
• AT-Systems

PhD Thesis, Edinburgh University available here.