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.
Education
Larsen has an MSc in mathematics from Aalborg University, 1982. In 1986, he received his PhD in Computer Science from University of Edinburgh, advised by Robin Milner.
Career
Since 1993, Larsen has been a professor in Computer Science at Aalborg Universitet. He has also been a visiting professor at several places around the world, including the National Institute for Research in Digital Science and Technology (INRIA) (as an international chair 2016-2020).
Larsen heads the Center for Embedded Software Systems (CISS). From 2007 to 2011
…
Source: Wikipedia
No Comments yet!