Quasimodo Contact Information

  • Press Contact & Information Request
  • Coordination Team
  • Project Partners
  • Press and Information Request

    Please contact coordinator / assistant coordinator,  or a national contact directly, see below.

    Coordination Team


    Assistant Coordinator

    Project Manager

    Professor Kim G. Larsen Assoc. Prof. Brian Nielsen Head of Section
    Esben Ahlmann Hjuler
    Room 0.2.32
    Dept. of Computer Science
    Selma Lagerlöfs Vej 300
    DK-9220 Aalborg Ø
    Room 1.2.10
    Dept. of Computer Science
    Selma Lagerlöfs Vej 300
    DK-9220 Aalborg Ø
    Room: A1-01-06
    Fundraising and Project Office
    Niels Jernes Vej 10,
    Dk-9220 Aalborg Ø
    +45 9940 88 93 (direct)
    9940 80 80 (switch)
    9940 9798 (fax)
    +45 9940 88 83 (direct)
    9940 80 80 (switch)
    9940 9798 (fax)
    +45 9940 7340 (direct)
    9940 80 80 (switch)
    +45 9815 9757 (fax)


    bnielsen@cs.aau.dk eah@adm.aau.dk


    Center for Embedded Software Systems, Department of Computer Science at Aalborg University, Denmark
    Contact: Assoc. Prof. Brian Nielsen

    Embedded Systems Institute, The Netherlands
    Contact: Dr. Ir. Jan Tretmans

    In collaboration with the Informatics for Technical Application Group, Radboud University Nijmegen, Contact: prof. Frits Vaandrager, and the  Formal Methods and Tools Group, University of Twente, Contact: Prof. Jaco van de Pol

    Laboratoire Spécification et Vérification at CNRS &  ENS, France
    Contact: Assoc. Prof. François Laroussinie
    Software Modelling and Verification Group at RWTH Aachen University, Germany
    Contact: Professor Joost-Pieter Katoen
    Dependable Systems and Software Group at University of Saarland , Germany
    Contact: Professor Holger Hermanns
    Université Libre de Bruxelles Centre Fédéré en Vérification at Université Libre de Bruxelles, Belgium
    Contact: Assoc. Prof. Jean-Francois Raskin
    TERMA Terma A/S, Space Division, Denmark
    Contact: Senior Software Engineer, Gert Caspersen
    Chess, (Changed to MyMesh) The Netherlands
    Contact: M.Sc., Technical Manager Marcel Verhoef
    Contact: Senior Software Engineer, Michael Schneider