Person
Dr. ir. Dr. h. c. (AAU), Universitätsprofessor
Joost-Pieter Katoen
Contact person UnRAVeL
Download digital business card
Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation)
Address
Building: 2353 Informatikzentrum E1
Room: 4214
Ahornstraße 55
52074 Aachen