| Titel: | Prof. Dr. rer. nat. | |
| Status: | Universitätsprofessor | |
| Widmung/Fach: | Informatik mit dem Schwerpunkt Formale Methoden | |
| E-Mail: | ||
| Einrichtungszuordnung und Kontaktdaten: | ||
Fachbereich 07: Mathematik und Informatik, Physik, Geographie -> Fachgebiet Mathematik und Informatik -> Institut für Informatik Internetseite | ||
| Telefon: | 0641 99-32150 | |
| Fax: | 0641 99-32149 | |