Person

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

Joost-Pieter Katoen

Lehrstuhlinhaber

Die Rektoratsbeauftragten
Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation)
Graduiertenkolleg UnRAVeL

Address

Building: 2353 Informatikzentrum E1

Room: 4214

Ahornstraße 55

52074 Aachen

Contact

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