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
 





Die Abteilung SZS ist zur Zeit nicht besetzt!



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)