Person
Dr. ir. Dr. h. c. (AAU), UniversitätsprofessorJoost-Pieter Katoen
Lehrstuhlinhaber
Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation)
Address
Building: 2353 Informatikzentrum E1
Room: 4214
Ahornstraße 55
52074 Aachen
Skip to Content Skip to Main Navigation Skip to Footer Skip to Search
Search
Department of Computer Science
Faculties and Institutions
You Are Here: Univ.-Prof. Dr. ir. Dr. h. c. (AAU) Joost-Pieter Katoen
Faculties and Institutes
- Mathematics, Computer Science and Natural SciencesFaculty 1
- ArchitectureFaculty 2
- Civil EngineeringFaculty 3
- Mechanical EngineeringFaculty 4
- Georesources and Materials EngineeringFaculty 5
- Electrical Engineering and Information TechnologyFaculty 6
- Arts and HumanitiesFaculty 7
- Business and EconomicsFaculty 8
- MedicineFaculty 10
Find Institute:
Navigation
Academics
Research
The Department
You Are Here:
- Home
- Research
- Research Areas
- Professorships and Lecturers
- Univ.-Prof. Dr. ir. Dr. h. c. (AAU) Joost-Pieter Katoen
last updated: 24/01/2018