Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation)
Adresse
Gebäude: 2353 Informatikzentrum E1
Raum: 4232
Ahornstraße 55
52074 Aachen
Sprechstunde
- nach Vereinbarung
Zum Inhaltsbereich Zur Hauptnavigation Zur Suche
Zurück
Vor dem Studium
Zurück
Im Studium
Zurück
Nach dem Studium
Zurück
Serviceangebote
Zurück
Infos für Schülerinnen und Schüler
Zurück
Forschungsbereiche
Zurück
DFG-geförderte Programme
Zurück
Kooperationen
Zurück
Publikationen
Zurück
Profil
Zurück
Auszeichnungen
Zurück
Forschung und Lehre
Zurück
Aktivitäten
Zurück
Einrichtungen
Zurück
Kontakt
Zurück
Fakultäten und Einrichtungen
Fakultäten und Institute
- Mathematik, Informatik, NaturwissenschaftenFakultät 1
- ArchitekturFakultät 2
- BauingenieurwesenFakultät 3
- MaschinenwesenFakultät 4
- Georessourcen und MaterialtechnikFakultät 5
- Elektrotechnik und InformationstechnikFakultät 6
- Philosophische FakultätFakultät 7
- WirtschaftswissenschaftenFakultät 8
- MedizinFakultät 10
Fachgruppe Informatik
Letzte Aktualisierung : 24.01.2018
Professuren und Dozierende
- Univ.-Prof. Dr. sc. techn. Bastian Leibe
- Sie sind hier:Univ.-Prof. em. Dr. rer. nat. Klaus Indermark
- Univ.-Prof. Hector Geffner, Ph.D.