Kim Guldstrand Larsen, VILLUM Investigator, R

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.

I am a VILLUM Investigator with the project S4OS:  Scalable analysis and Synthesis of Safe,  Secure and Optimal Strategies for Cyber-Physical 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 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- )

Recent and Upcoming Conferences (please submit) & Ínvited Talks

Spin-outs

PhD Thesis, Edinburgh University available 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