Institut für Formale Methoden der Informatik

Theoretische Informatik / Algorithmik

true" ? copyright : '' }

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.

Arbeitsgruppen

Algorithmik, Algorithmische Geometrie, Diskrete Optimierung, Algorithm Engineering

Formale Sprachen, Komplexitätstheorie