Person
Dr. ir. Dr. h. c. (AAU), Universitätsprofessor
Joost-Pieter Katoen
Ansprechpartner UnRAVeL
Digitale Visitenkarte herunterladen
Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation)
Adresse
Gebäude: 2353 Informatikzentrum E1
Raum: 4214
Ahornstraße 55
52074 Aachen