Kim Guldstrand Larsen

Kim Guldstrand Larsen is a full Professor at the Department of Computer Science, Aalborg University, within the Technical Faculty of IT and Design. His research spans Distributed, Embedded and Intelligent Systems with a focus on AI for the People through initiatives like the CISS - Center for Embedded Software Systems and Classique - Center for Classical Communication in the Quantum Era.

• Key Research Areas: Embedded Systems, Quantum Circuits, Reinforcement Learning, Battery Management, Stormwater Control

Recent publications highlight applications of machine learning and formal methods in domains like autonomous vehicles and multi-agent systems. His work on data-efficient battery parameter estimation and quantum equivalence checking demonstrates interdisciplinary impact.

Scientific Recognition:

• Best Paper Award (2018) for Timed Automaton research
• Honary Doctorate (2007) for Embedded Systems contributions
• Knight of the Dannebrog Order (2007)

As principal investigator in projects like EQuaL and STORM_SAFE, he advances software reliability for critical infrastructures. His 596+ publications and 38 active/completed projects (2001–2025) reflect sustained academic leadership.