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 Connections
In Field
Source Kim Guldstrand Larsen (Wikipedia)
In the Other Atlases
Nationality
Also in Geography Atlas: the nationality of this subject.
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 SourceKim Guldstrand Larsen (Wikipedia)
In Field: Formal Methods, LeadQuote, In Field: Formal Methods, Lead
His field of research includes modeling, validation and verification, performance analysis, and synthesing of real-time, embedded, and cyber-physical systems utilizing and contributing to concurrency theory and model checking.
Reader 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.