Institut für Formale Methoden der Informatik (FMI)
In der Forschung sind seine Abteilungen in Bereichen der theoretischen Informatik und der Algorithmik aktiv.
Sekretariat FMI
Leiter der Algorithmik-Gruppe
