{"id":75,"date":"2010-01-13T08:53:34","date_gmt":"2010-01-13T08:53:34","guid":{"rendered":"http:\/\/www.cs.aau.dk\/~crt\/wp\/wordpress\/?page_id=75"},"modified":"2026-01-29T20:49:01","modified_gmt":"2026-01-29T18:49:01","slug":"home","status":"publish","type":"page","link":"https:\/\/kglarkiv.cs.aau.dk\/","title":{"rendered":"Kim Guldstrand Larsen, VILLUM Investigator, R"},"content":{"rendered":"

\"\"<\/a><\/p>\n

\"\"\"\"<\/p>\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

\n

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

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. \u00a0I 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

Research <\/strong><\/p>\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. \u00a0I 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

Degrees and Awards<\/strong><\/p>\n