Speaker
Kim G. Larsen
Aalborg University, Denmark
Bio
Kim G. Larsen is a Professor in Computer Science at Aalborg University since 1993.
He obtained his PhD in Computer Science at Edinburgh University 1986 under the supervision of Professor Robin Milner.
His research interests span semantics, verification and logic, concurrency theory, performance analysis of real-time, embedded and cyber-physical systems, model checking and machine learning, as well as quantum systems. He is prime investigator of the model checking tool UPPAAL. He is the founding member of the conference TACAS and the conference series ETAPS.
He is life-long member of the Royal Danish Academy of Sciences and Letters, Copenhagen, is member of the Danish Academy of Technical Sciences. He became Honorary Doctor (Honoris causa) at Uppsala University, Sweden, in 1999 for his contributions to the popular verification tool UPPAAL. In 2007 he became Knight of the Order of the Dannebrog. In 2007 he became Honorary Doctor (Honoris causa) at ENS Cachan, France. In 2012 he became Honary Member of Academia Europaea. In 2013 he was the recipient of the CAV Award for his work UPPAAL “the foremost model checker for real-time Systems”. In 2015 he won an ERC Advanced Grant (LASSO). He received the Grundfos prize 2016, became Foreign Expert of China, Distinguished Professor, Northeastern University, 2018, and received the Test-Of-Time Award, 2022. In 2021 he won the VILLUM Investigator Grant S4OS.