Zur Startseite des Instituts

Institut für Formale Methoden der Informatik

Das Institut für Formale Methoden der Informatik (FMI) gehört dem Institutsverbund Informatik (IvI) 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 Diplom-Studiengängen Informatik und Softwaretechnik, am Bachelor-Studiengang Wirtschaftsinformatik und am Master-Studiengang Information Technology (INFOTECH), am Magister-Beifach Informatik, sowie an weiteren Studiengängen durch Nebenfach-Angebote.

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


Dieser FMI-Webserver wurde Anfang 2012 aufgesetzt. Migriert wurden die allgemeinen Instituts- und Abteilungsseiten, die Seiten der aktiven Mitarbeiter sowie die Seiten zur Lehre ab WS 2011/12. Ältere Inhalte finden sich auf der alten Webseite.