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.

Es beteiligt sich in der Lehre an den Studiengängen Informatik und Softwaretechnik, sowie an weiteren Studiengängen durch Nebenfach-Angebote. (Informationen zu den Studiengängen: Bachelor, Master)

In der Forschung sind seine Abteilungen in den Bereichen Theoretische, Praktische, Technische und Angewandte Informatik aktiv.

Inhalte vor SS 2020 (sowie spezielle Seiten auch zur aktuellen Lehre) finden sich auf der alten Webseite.

Kontakt

 

Petra van Schayck

Sekretariat FMI

Prof. Dr. rer.-nat. habil.

Volker Diekert

Institutsleitung
Leiter der Gruppe für Theoretische Informatik

Zum Seitenanfang