Diese Webseite ist veraltet!
Den neuen Webauftritt des FMI finden Sie hier.

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.

Das Institut für Formale Methoden der Informatik (FMI) gliedert sich in die folgenden Abteilungen:

• Abteilung Algorithmik

• Abteilung Formale Konzepte

• Abteilung Theoretische Informatik

• Abteilung Sichere und Zuverlässige Softwaresysteme

Alle Abteilungen tragen mit Grund- und Spezialveranstaltungen zum Lehrangebot der Fakultät bei. Die Forschungsaktivitäten sind bei den einzelnen Abteilungen beschrieben.

• Anschrift
  Institut für Formale
  Methoden der Informatik
  Universitätsstraße 38
  D-70569 Stuttgart