Person
Dr. ir. Dr. h. c. (AAU), UniversitätsprofessorJoost-Pieter Katoen
Lehrstuhlinhaber
Die Rektoratsbeauftragten
Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation)
Graduiertenkolleg UnRAVeL
Profilbereich Information & Communication Technology (ICT)
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