Kim G. Larsen (23. December 1957) became Cand.Scient. in Mathematics and Computer Science from Aalborg University (1982) and PhD in Computer Science from Edinburgh University, Scotland (1986). He is Professor in Computer Science at Aalborg University (1993- ), and has been Industrial Professor at Twente University, The Netherlands (2000-2007). He is currently director of CISS, the Centre for Embedded Software Systems, a national centre of excellence within ICT bridging between industry and research (2002- ), and is director of the Danish National ICT Innovation network InfinIT (2009- ). Also he is director of the Innovation Center DiCyPS (2015-2021).
His research interests include modeling, verification, performance analysis of real-time and embedded systems with application and contributions to concurrency theory and model checking. In particular since 1995 he has been prime investigator of the tool UPPAAL and co-founder of the company UP4ALL International. He has published more than 300 publications in international peer-reviewed journals and conferences as well as co-authored 12 software-tools. He has received Danish Citation Laureates Award (Thomson Scientific) as the most cited Danish Computer Scientist in the period 1990-2004; his H-index (according to Google Scholar, May 2018) is 76.
Kim G. Larsen has just won an ERC Advanced Grant for the project LASSO (Learning, Analysis, Synthesis and Optimization of Cyber-Phyisical Systems) starting November 2015.
Kim G. Larsen has been the leader of the Modeling and Validation Cluster within the EU/IST Network of Excellence ARTIST Design, as well as director of the DaNES project (Danish Network for Intelligent Embedded Systems) funded by the Danish Advanced Technology Foundation as well as co-director of the newly started VKR Center of Excellence MT-LAB. Also he is director of the Danish-Chinese Basic Research Center, IDEA4CPS, Center for Foundations of Cyber-Physical Systems. Moreover he is director of the Danish Innovation network InfinIT, involving all ICT institutions in Denmark and committed to promote collaboration between industry and academia, and director of DiCyPS, the newly started Center on Data-intensive Cyber-Physical Systems.
He is or has been editorial board member of the journals Formal Methods in System Design, Theoretical Computer Science and Nordic Journal of Computing. He is serving as a member of the steering committee for the ETAPS conference series. Also he is serving as member of the steering committees and was one of the original initiators for the CONCUR conference series, the TACAS conference series and the FORMATS workshop series.
He is life-long member of the Royal Danish Academy of Sciences and Letters, Copenhagen, is member of the Danish Academy of Technical Sciences. For a period of seven years he served as member of the Danish Natural Science Research Council. Since January 2008 he has been member of the board of the Danish Independent Research Councils (bestyrelsen for Det Frie Forskningsråd), as well as Danish national expert for the European ICT-program. From March 2011 he has been serving as vice-chairman for the ATV group on Electro- and Information Systems. In 2014 he became member of the Digital Wisemen of ATV.
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”.
Kim G. Larsen is currently supervising 8 PhD students, 7 post-doc students and has previously supervised more than 21 PhD students (to completion), and 12 Postdoc students. Since 2006 he has been heading the elite-program for top-class students in the area of Embedded Software with 10 graduated last year.
Kim G. Larsen has been invited as key-note speaker to more than 40 international conferences during last 5 years. He has lectured all over the world, including North-America, China, India, and most European countries. Served as PC member on more than 40 confereces during the last 3 years.
Employment:
Since 2016: International Chair at INRIA.
Since 1993: Full Professor at Aalborg University, Denmark
2001-2008: Industrial Professor (part-time), University of Twente, The Netherlands
1995: Visiting Professor, Uppsala University, Sweden
1996-93: Associate Professor, Aalborg University.
1990: Visiting Professor, SICS, Sweden.
1985-86: Assistant Professor, Aalborg University, Denmark.
1983-85: PhD student at Edinburgh University (supervisor Robin Milner)
1982-83: PhD Student at CMU, Pittsburgh University (supervisor Dana Scott)
Biography
Kim G. Larsen (23. December 1957) became Cand.Scient. in Mathematics and Computer Science from Aalborg University (1982) and PhD in Computer Science from Edinburgh University, Scotland (1986). He is Professor in Computer Science at Aalborg University (1993- ), and has been Industrial Professor at Twente University, The Netherlands (2000-2007). He is currently director of CISS, the Centre for Embedded Software Systems, a national centre of excellence within ICT bridging between industry and research (2002- ), and is director of the Danish National ICT Innovation network InfinIT (2009- ). Also he is director of the Innovation Center DiCyPS (2015-2021).
His research interests include modeling, verification, performance analysis of real-time and embedded systems with application and contributions to concurrency theory and model checking. In particular since 1995 he has been prime investigator of the tool UPPAAL and co-founder of the company UP4ALL International. He has published more than 300 publications in international peer-reviewed journals and conferences as well as co-authored 12 software-tools. He has received Danish Citation Laureates Award (Thomson Scientific) as the most cited Danish Computer Scientist in the period 1990-2004; his H-index (according to Google Scholar, May 2018) is 76.
Kim G. Larsen has just won an ERC Advanced Grant for the project LASSO (Learning, Analysis, Synthesis and Optimization of Cyber-Phyisical Systems) starting November 2015.
Kim G. Larsen has been the leader of the Modeling and Validation Cluster within the EU/IST Network of Excellence ARTIST Design, as well as director of the DaNES project (Danish Network for Intelligent Embedded Systems) funded by the Danish Advanced Technology Foundation as well as co-director of the newly started VKR Center of Excellence MT-LAB. Also he is director of the Danish-Chinese Basic Research Center, IDEA4CPS, Center for Foundations of Cyber-Physical Systems. Moreover he is director of the Danish Innovation network InfinIT, involving all ICT institutions in Denmark and committed to promote collaboration between industry and academia, and director of DiCyPS, the newly started Center on Data-intensive Cyber-Physical Systems.
He is or has been editorial board member of the journals Formal Methods in System Design, Theoretical Computer Science and Nordic Journal of Computing. He is serving as a member of the steering committee for the ETAPS conference series. Also he is serving as member of the steering committees and was one of the original initiators for the CONCUR conference series, the TACAS conference series and the FORMATS workshop series.
He is life-long member of the Royal Danish Academy of Sciences and Letters, Copenhagen, is member of the Danish Academy of Technical Sciences. For a period of seven years he served as member of the Danish Natural Science Research Council. Since January 2008 he has been member of the board of the Danish Independent Research Councils (bestyrelsen for Det Frie Forskningsråd), as well as Danish national expert for the European ICT-program. From March 2011 he has been serving as vice-chairman for the ATV group on Electro- and Information Systems. In 2014 he became member of the Digital Wisemen of ATV.
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”.
Kim G. Larsen is currently supervising 8 PhD students, 7 post-doc students and has previously supervised more than 21 PhD students (to completion), and 12 Postdoc students. Since 2006 he has been heading the elite-program for top-class students in the area of Embedded Software with 10 graduated last year.
Kim G. Larsen has been invited as key-note speaker to more than 40 international conferences during last 5 years. He has lectured all over the world, including North-America, China, India, and most European countries. Served as PC member on more than 40 confereces during the last 3 years.
Employment: