{"id":14,"date":"2023-02-25T18:01:27","date_gmt":"2023-02-25T18:01:27","guid":{"rendered":"https:\/\/kgl.cs.aau.dk\/?page_id=14"},"modified":"2026-02-04T11:00:14","modified_gmt":"2026-02-04T11:00:14","slug":"kim-guldstrand-larsen-villum-investigator-r","status":"publish","type":"page","link":"https:\/\/kgl.cs.aau.dk\/","title":{"rendered":""},"content":{"rendered":"\n
\n
\n
\"\"<\/figure><\/div><\/div>\n\n\n\n
\n
\n
\n
\"\"<\/figure><\/div><\/div>\n\n\n\n
\n
\"\"<\/figure><\/div><\/div>\n\n\n\n
\n
\"\"<\/a><\/figure><\/div><\/div>\n<\/div>\n\n\n\n

I am a professor in the Department of Computer Science at Aalborg University within the Distributed, Embedded Systems and Intelligent (DEIS<\/a>) Unit and director of the ICT-competence center CISS<\/a>, Center for Embedded Software Systems.<\/p>\n<\/div>\n<\/div>\n\n\n\n

I am a VILLUM Investigator with the project S4OS:  Scalable analysis and Synthesis of Safe,  Secure and Optimal Strategies for Cyber-Physical Systems.<\/p>\n\n\n\n

In 2015 I won an ERC Advanced Grant with the project LASSO <\/a>for learning, analysis, synthesis and optimization of cyber physical systems.<\/p>\n\n\n\n

I am also director of the Danish Innovation Network InfinIT<\/a>, as well as the Innovation Fund Denmark research center DiCyPS<\/a>. I am the PI of the Villum Synergy Project CLAIRE<\/a> and the project BEOCOVID<\/a> funded by Poul Due Jensen Grundfos Foundation.  I am also co-PI in the Innovation Fund Denmark projects FED<\/a> and DONUT<\/a> and the Vienna Science and Technology Fund project WHATIF.<\/p>\n\n\n\n

Research<\/strong><\/h4>\n\n\n\n

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 <\/a>as well as its branches targeting planning, optimization, testing, synthesis, machine learning and compositional analysis.<\/p>\n\n\n\n

DEGREES AND AWARDS<\/strong><\/h4>\n\n\n\n