Person
Prof. Dr. Ir.Joost-Pieter Katoen
UniversitätsprofessorLehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation)
Lehrstuhlinhaber
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