I have moved to the ENS Cachan. You will find my new homepage here.
Software reliability and security group Address: Institut für Formale Methoden der Informatik Universität Stuttgart Universitätsstr. 38 70569 Stuttgart Germany Office: 1.342 Phone: +49 711 7816-427 Email: schwoon@in.tum.de