Seit April 2007 bin ich an der Technischen Universität München. Meine neue Homepage ist hier.
Wissenschaftlicher Assistent 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-427 Email: schwoon@in.tum.de

Lehre: WS 2006/07: Vorlesung Netze und Prozesse WS 2006/07: Logik (Tutorien)

Konferenzen: FOSSACS 2007 CAV 2007 Dagstuhl-Seminar 07441 TACAS 2008

Software: Moped Mole Weighted PDS library The Model-Checking Kit

Veröffentlichungen

Private Seiten: Bilder – Radfahren