Person

Dr. ir. Dr. h. c. (AAU), Universitätsprofessor

Joost-Pieter Katoen

Lehrstuhlinhaber

Joost-Pieter Katoen
Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation)

Address

Building: 2353 Informatikzentrum E1

Room: 4214

Ahornstraße 55

52074 Aachen

Contact

workPhone
Phone: +49 241 80 21200
Fax: +49 241 80 22217