Kim Guldstrand Larsen is Professor in Computer Science at Aalborg University, Denmark. His field of research includes verification, performance analysis and synthesis of safe and optimal real-time and cyber physical systems using model checking and machine learning. Kim Guldstrand Larsen is co-founder and main contributor to the tool UPPAAL (www.uppaal.org). UPPAAL received the prestigious CAV Award in 2013 as the foremost tool for modelling and verification of real-time systems. Kim Guldstrand Larsen won the ERC Advanced Grant in 2015 and won a Villum Investigator grant in 2021. In 2022 he received the CONCUR Test-of-Time Award 2022.