Kim Guldstrand Larsen | |
---|---|
Born | Aalborg Denmark | 23 December 1957
Nationality | Danish |
Alma mater | University of Edinburgh (PhD) Aalborg University (MSc) |
Known for | Verification of Real-time computing in embedded systems |
Spouse | Merete Kruse Hansen |
Children | 2 daughters |
Awards | CAV Award CONCUR Test of Time Award |
Scientific career | |
Fields | Computer science |
Institutions | Aalborg University |
Website | https://vbn.aau.dk/en/persons/103881 |
Kim Guldstrand Larsen R (born 1957) is a Danish scientist and professor of computer science at Aalborg University, Denmark. 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. Within this domain, he has been instrumental in the invention and continuous development of one of the most widely used verification tools, and has received several awards and honors for his work.