Kim Guldstrand Larsen#


Kim Guldstrand Larsen
Email:kgl 'at' cs.aau.dk
Membership Number:3192
Membership type:ORDINARY
Main Country of Residence:DENMARK
Section:INFORMATICS
Username:klarsen
Elected:2012
Homepage: 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-93: Associate Professor, Aalborg University
  • 1990: Visiting Professor (½ year), SICS, Sweden
  • 1985-86: Assistant Professor, Aalborg University, Denmark
  • 1982-85: 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

Imprint Privacy policy « This page (revision-6) was last updated on Friday, 5. October 2012, 12:26 by Kaiser Dana
  • operated by