Bild mit Unilogo
homeicon uni sucheicon suche siteicon sitemap kontakticon kontakt impressicon impressum
unilogo Universität Stuttgart 
Institut für Formale Methoden der Informatik

Abteilung Sichere und Zuverlässige Softwaresysteme

englishicon
 

x Kontakt   (Adresse und Wegbeschreibung)

x Mitarbeiter   (derzeitige Mitarbeiter der Abteilung und Gruppenfoto)

x Lehre   (Vorlesungen, Seminare, Diplomarbeiten und Softwarepraktika)

x Forschung   (aktuelle Projekte, Forschungsthemen)

x Veröffentlichungen   (sortiert nach Jahr, Typ, Autor, Projekt)

x Software und Tools   (eigene Entwicklungen)

x Nützliches und Wissenswertes (Speiseplan, Uni-Termine, Literatur)

x Stellen (Stellen für Doktoranden, Post-Docs und studentische Hilfskräfte)