Das Institut besteht aus zwei Abteilungen:

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 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 WS 2011/12 sowie zu den ehemaligen Abteilungen FK, SZS und BS finden sich auf der alten Webseite.

Institutsleiter

Stefan Funke 

Sekretariat

Heike Photien 

Universitätsstraße 38
70569 Stuttgart
Deutschland
Tel. ++49 (0)711/685-88328
Fax ++49 (0)711/685-88310