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

Stefan Funke

Prof. Dr.

Leiter der Algorithmik-Gruppe

Zum Seitenanfang