Person
Dr. ir. Dr. h. c. (AAU), UniversitätsprofessorJoost-Pieter Katoen
Ansprechpartner UnRAVeL
Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation)
Adresse
Gebäude: 2353 Informatikzentrum E1
Raum: 4214
Ahornstraße 55
52074 Aachen
Kontakt
- WorkPhone
- Telefon: +49 241 80 21200
Fax
Fax:
+49 241 80 22217
E-Mail:
katoen@cs.rwth-aachen.de