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