Direkt zu
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
Stefan Funke
Prof. Dr.Leiter der Algorithmik-Gruppe