Hochschule
Fakultät MI: Fakultät für Mathematik und Informatik
SFB/Transregio (SFB/TR14-AVACS) "Automatische Verifikation und Analyse Komplexer Systeme (AVACS)"Oldenburg, Freiburg, Saarbrücken
Univ.-Professor/in
Univ.-Professor Dr. Bernd Finkbeiner
Sprecher/in
Univ.-Prof. Dr. rer. nat. Reinhard Wilhelm
Akad. Mitarbeiter/Innen
M.Sc. Sebastian Altmeyer