[an error occurred while processing this directive]
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

[an error occurred while processing this directive] 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)