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
Profilbereich Information & Communication Technology (ICT)

Address

Building: 2353 Informatikzentrum E1

Room: 4214

Ahornstraße 55

52074 Aachen

Contact

WorkPhone
Phone: +49 241 80 21200
Fax Fax: +49 241 80 22217
Website