Kim Guldstrand Larsen#
| Membership Number: | 3192 |
| Membership type: | ORDINARY |
| Section: | INFORMATICS |
| Elected: | 2012 |
| Main Country of Residence: | DENMARK |
| Homepage(s): | http://people.cs.aau.dk/~kgl |
Present and Previous Positions
- Since 1993 Full Professor at Aalborg University, Denmark
- 2001 - 2008 Industrial Professor (part-time), University of Twente, The Netherlands
- 2006, 2008, 2011 Visiting Professor (1 month), Laboratoire Spécification et Vérification, École Normale Supérieure, Cachan, France
- 1995 Visiting Professor (½ year), Uppsala University, Sweden
- 1996 - 1993 Associate Professor, Aalborg University
- 1990 Visiting Professor (½ year), SICS, Sweden
- 1985 - 1986 Assistant Professor, Aalborg University, Denmark
- 1982 - 1985 PhD student (CMU, Pittsburgh and Edinburgh University)
Fields of Scholarship
- Modeling
- Verification
- Performance analysis
- Real-time systems
- Embedded systems
- Concurrency theory
- Model checking
Honours and Awards
- 1999 Honorary Doctor (Honoris causa), Uppsala University
- 2005 Danish Citation Laureates Award
- Thomson Scientific award as the most cited Danish Computer Scientist in the period 1990-2004
- 2007 Ridder af Dannebrog (Knight of the Order of the Dannebrog)
- 2007 Honorary Doctor (Honoris causa) Ecole Normal Superieure De Cachan, Paris
