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.
RWTH Aachen University
Ahornstrasse 55, D-52074 Aachen, Germany
| Contacts | ||
|---|---|---|
| Joost-Pieter Katoen | ||
| Phone | +49 241 8021200 | |
| 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
Formal Methods Unit
Via Sommarive, 18
38123 Povo/Trento, Italy
| Contacts | |||
|---|---|---|---|
| Dr. Alessandro Cimatti | Dr. Stefano Tonetta | ||
| Phone | +39 0461 314 329 | +39 0461 314 359 | |
| cimatti [at] fbk.eu | tonetta [at] fbk.eu | ||
Thales Alenia Space
Thales Alenia Space is the industrial subcontractor of the COMPASS Project.
Thales Alenia Space
26 avenue J.F. Champollion
BP 33787 – 31037 Toulouse Cedex 1, France
| Contacts | |
|---|---|
| Xavier Olive | |
| Phone | +33 492 926679 |
| 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 (former)
- 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