Wissenschaftlicher Angestellter Abteilung Sichere und Zuverlässige Softwaresysteme Adresse: Institut für Formale Methoden der Informatik Universität Stuttgart Universitätsstr. 38 70569 Stuttgart Büro: 1.342 Telefon: 0711 / 7816-463 Email:

Lehre

• SS06: Übungen 'Model Checking'
• WS05: Übungen 'Grundlagen der Softwarezuverlässigkeit'
• SS05: Übungen 'Model-Checking'
• SS05: Übungen 'Theoretische Informatik III (SWT)'
• WS04: Übungen 'Grundlagen der Softwarezuverlässigkeit'
• SS04: Übungen 'Theoretischen Informatik I'