Consortium
European Space Agency
European Space Research and Technology Centre funds the COMPASS project.
 |
European Space Research and Technology Centre 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.
 |
Contact: Joost-Pieter Katoen RWTH Aachen University Ahornstrasse 55, D-52074 Aachen, Germany Phone: +49 241 8021200 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.
 |
Contact: Dr. Alessandro Cimatti Fondazione Bruno Kessler Embedded Systems Group Via Sommarive, 18 38123 Povo/Trento, Italy Phone: (39) 461-314320 E-mail: cimatti [at] fbk.eu |
Thales Alenia Space
Thales Alenia Space is the industrial subcontractor in the COMPASS Project.
 |
Contact: Xavier Olive Thales Alenia Space 26 avenue J.F. Champollion BP 33787 – 31037 Toulouse Cedex 1, France Phone: (33) 492-926679 E-mail: xavier.olive [at] thalesaleniaspace.com |
Project Members
RWTH Aachen University
- Prof. Dr. Ir. Joost-Pieter Katoen
- Priv.-Doz. Dr. Thomas Noll
- Dr. Viet Yen Nguyen, MSc.
- Chitra Hapsari Ayuningtyas (former)
- Benedikt Brutsch
- Christian Dehnert
- Falko Dulat
- Friedrich Gretz
- Christina Jansen (former)
- Clarence Xu (former)
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