Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation)
Address
Building: 2353 Informatikzentrum E1
Room: 4211
Ahornstraße 55
52074 Aachen
Office Hours
- nach Vereinbarung
Skip to Content Skip to Main Navigation Skip to Search
Back
Before Your Studies
Back
During Your Studies
Back
After Graduation
Back
Services
Back
School Students
Back
Research Areas
Back
DFG Funded Programs
Back
Cooperations
Back
Publications
Back
Profile
Back
Recognitions
Back
Research and Teaching
Back
Activities
Back
Institutions
Back
Contact
Back
Faculties and Institutions
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
Department of Computer Science
last updated : 24/01/2018
Professorships and Lecturers
- You Are Here:apl. Prof. Dr. rer. nat. Thomas Noll
- Univ.-Prof. Hector Geffner, Ph.D.