Kim Guldstrand Larsen, born in 1957 in Aalborg, Denmark, is a Danish computer scientist and professor at Aalborg University whose research covers modeling, validation, verification and performance analysis of real-time, embedded and cyber-physical systems. He has been instrumental in inventing and continuing to develop one of the most widely used formal verification tools in this domain, and his honors include the CAV Award in 2013, the CONCUR Test of Time Award in 2022, an ERC Advanced Grant in 2015, and honorary doctorates from Uppsala University and the Ecole normale superieure Paris-Saclay.
Facts
Sources
1. Kim Guldstrand Larsen (Wikidata)
Wikidata alias: Kim G. Larsen
Kim G. Larsen
Wikidata P166: honorary doctor of the École normale supérieure de Cachan
Wikidata P166 (award received): honorary doctor of the École normale supérieure de Cachan.
Wikidata P166: Grundfos Prize
Wikidata P166 (award received): Grundfos Prize.
Wikidata alias: K.G. Larsen
K.G. Larsen
P569 (date of birth): year 1957
1957
P569 (date of birth): 1957-12-23
1957-12-23
View the SourceReader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.