Institut

Institut für Formale Methoden der Informatik (FMI)

In der Forschung sind seine Abteilungen in Bereichen der theoretischen Informatik und der Algorithmik aktiv.

Kontakt

Petra van Schayck

 

Sekretariat FMI

Volker Diekert

Prof. Dr. rer.-nat. habil.

Institutsleitung
Leiter der Gruppe für Theoretische Informatik

Zum Seitenanfang