Institut für Formale Methoden der Informatik

FMI-Teaser

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 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