Contact
Consortium
European Space Agency
European Space Research and Technology Centre funds the COMPASS project.
Keplerlaan 1
NL 2201 AZ Noordwijk
The Netherlands
RWTH Aachen University
The chair of Software Modeling and Verification at the Institute of Computer Science of the RWTH Aachen University (Germany) leads the COMPASS project.
RWTH Aachen University
Software Modeling and Verification Group
Ahornstrasse 55
52056 Aachen, Germany
Phone: (49) 241-8021200
Fax: (49) 241-802221
E-mail: katoen [at] cs.rwth-aachen.de
Fondazione Bruno Kessler
The Center for Information Technology (IRST) at Fondazione Bruno Kessler (Italy) is the research subcontractor in the COMPASS Project.
Fondazione Bruno Kessler
Automated Verification and Synthesis Group
Loc. Pante', Povo
38050 Trento, Italy
Phone: (39) 461-314320
Fax: (39) 461-302040
E-mail: cimatti [at] itc.it
Thales Alenia Space
Thales Alenia Space is the industrial subcontractor in the COMPASS Project.
Thales Alenia Space
26 avenue J.F. Champollion
BP 33787 - 31037 Toulouse Cedex 1, France
Phone: (33) 492-926679
Fax: (33) 492-926970
E-mail: xavier.olive [at] thalesaleniaspace.com
Project Members
RWTH Aachen University:
- Prof. Dr. Ir. Joost-Pieter Katoen
- Priv.-Doz. Dr. Thomas Noll
- Viet Yen Nguyen, MSc.
- Chitra Hapsari Ayuningtyas (former)
- Benedikt Brutsch
- Christian Dehnert
- Falko Dulat
- Friedrich Gretz
- Christina Jansen (former)
- Clarence Xu
Fondazione Bruno Kessler:
- Dr. Alessandro Cimatti
- Dr. Marco Bozzano
- Dr. Marco Roveri
- Roberto Cavada
- Kalyanasundaram Krishnamani (former)
- Cristian Mattarei
- Marco Pensallorto
- Andrei Tchaltsev
Thales Alenia Space:
- Dr. Xavier Olive
- Mathieu Le Coroller (former)
- Gregory Burte
- Nicolas Schoonbroodt
