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
Awardhonorary doctor of the École normale supérieure de Cachan 1 In the Other Atlases
- Also in Geography Atlas: Denmark, nationality there.
Sources
1. Wikidata: Kim Guldstrand Larsen
- Wikidata Q62560107, resolved via en.wikipedia pageprops (wave rule R-L)
- Wikidata Q62560107 P569 (date of birth)
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.