[an error occurred while processing this directive] [an error occurred while processing this directive]
Bild mit Unilogo
homeicon uni sucheicon suche kontakticon kontakt impressicon impressum
unilogo Universität Stuttgart 
[an error occurred while processing this directive] [an error occurred while processing this directive] [an error occurred while processing this directive] [an error occurred while processing this directive] [an error occurred while processing this directive] [an error occurred while processing this directive] [an error occurred while processing this directive] [an error occurred while processing this directive] [an error occurred while processing this directive]
Fakultät Informatik, Elektrotechnik und Informationstechnik

Institut für Formale Methoden der Informatik

englishicon
 

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:

Bis zur Emeritierung von Prof. Lagally (Oktober 2005) gehörte auch die Abteilung Betriebssoftware zum FMI.

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

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