Teaching (not updated)

  • Semantics and Verification 2011 (with Jiri Srba)
  • Semantics and Verification 2010 (with Uli Fahrenberg)
  • Formal Systems 2009 (with Ulrik Nyman and Jiri Srba)
  • Semantics and Verification 2009 (with Jiri Srba)
  • Semantics and Verification 2008 (with Jiri Srba)
  • Formal Systems 2007 (with Jiri Srba)
  • Test and Verification 2006 (with Brian Nielsen and Arne Skou)
  • Semantic and Verification 2006 (with Jiri Srba)
  • Embedded Systems Validation, PhD course, 2004.
  • Embedded Systems Validation, PhD course 2003
  • BRICS PhD course on Verification 2003
  • BRICS PhD course on Verification 2001
  • DTU course on Real-time Systems 2001 (with Henrik Ejersbo Jensen, Paul Pettersson)
  • DTU course on Real-time Systems 2000 (with Paul Pettersson)
  • Semantics and Verification 2002 (with Anna Ingolfsdottir)
  • Semantics and Verification 2001 (with Anna Ingolfsdottir)
  • Test and Verification 2005
  • Test and Verification 2004 (with Emmanuel Fleury, Brian Nielsen, Arne Skou)
  • Test and Verification 2003 (with Emmanuel Fleury)
  • Test and Verification 2002
  • Test and Verification 2001 (with Henrik Ejersbo Jensen)
  • Datastructures & Algorithms for Model Checking 2001
  • Methods and Tools for Validation: Modeling and Analysis 2002.

  • News

  • Contact

    Department of Computer Science
    Aalborg University

    Selma Lagerlöfs Vej 300,
    DK-9220 Aalborg East
    Office: 0.2.32
    Mail: kgl ‘at’ cs.aau.dk


    PHONE : +45 99 40 80 80 (Switchboard)
    PHONE : +45 99 40 88 93 (Direct)
    PHONE : +45 22 17 11 59 (Mobile)
    FAX : +45 98 15 98 89