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
InstitutsleitungLeiter der Gruppe für Theoretische Informatik
