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

    Coordinator

    Assistant Coordinator

    Administrative
    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 Ø
    Denmark    		 Room 1.2.10
    Dept. of Computer Science
    Selma Lagerlöfs Vej 300
    DK-9220 Aalborg Ø
    Denmark    		 Room: A1-01-06
    Fundraising and Project Office
    Niels Jernes Vej 10,
    Dk-9220 Aalborg Ø
    Denmark
    +45 9940 88 93 (direct)
    +45     9940 80 80 (switch)
    +45     9940 9798 (fax)    		 +45 9940 88 83 (direct)
    +45     9940 80 80 (switch)
    +45     9940 9798 (fax)    		 +45 9940 7340 (direct)
    +45     9940 80 80 (switch)
    +45 9815 9757 (fax)

    kgl@cs.aau.dk

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

    Partners

    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
         
    HYDAC ELECTRONIC GMBH, Germany
    Contact: Senior Software Engineer, Michael Schneider