Ich bin inzwischen an der ENS Cachan. Hier ist meine neue Homepage.
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