Institut für Formale Methoden der Informatik

Theoretische Informatik / Algorithmik

Das Institut für Formale Methoden der Informatik (FMI) gehört dem Institutsverbund Informatik (IvI) (nur intern) an und wurde am 27.11.2002 aus dem bis dahin bestehenden Institut für Informatik (IFI) ausgegliedert.

Für weitergehende Informationen bzgl. Forschungs- und Lehrtätigkeiten besuchen Sie die Unterseiten der jeweiligen Abteilung.

Inhalte vor SS 2020 finden sich auf der alten Webseite.

Kontakt

Petra van Schayck

 

Sekretariat FMI

Volker Diekert

Prof. Dr. rer.-nat. habil.

Institutsleitung
Leiter der Gruppe für Theoretische Informatik

Zum Seitenanfang