Coordinates
Georges-Köhler Allee 52
79110 Freiburg im Breisgau
Germany
building, room
052-00-005
+49 761 203 6953 (phone)
+49 761 203 8242 (fax)
Consultation hours
Term:
email me
Research
Currently I am working on sound error detection methods.Publications
- It's doomed; we can prove it with Jochen Hoenicke, K. Rustan M. Leino, Andreas Podelski, and Thomas Wies
To appear in Proceedings of FM, 2009.
Talks & Travels
- ETAPS 2009 - March, 2009, York
- International Conference on Software Engineering - May 10-18, 2008, Leipzig
- Computer Aided Verification - July 3-7, 2007, Berlin
- SEUH - Software Engineering im Unterricht der Hochschulen - February 22-23, 2007, Stuttgart
- Verification, Model Checking and Abstract Interpretation - January 14-16, 2007, Nizza
- AVACS Projekttreffen - 25. - 29. September 2006, Oldenburg
- 2nd German Verification Day - 31. August, 2006, Bonn
- STRESS 2006 - 17. - 23. Mai 2006, Dortmund
Teaching
- Advanced Topics in Video Game Programming, Winter Term 2008/2009
- Anwendungsprogrammierung, Winter Term 2008/2009
- Softwarepraktikum, Summer Term 2008
- Seminar Advanced Topics in Software Engineering, Winter Term 2007/2008
- Softwarepraktikum für Hörer aller Fakultäten, Winter Term 2007/2008
- Softwarepraktikum, Summer Term 2007
- Softwarepraktikum für Hörer aller Fakultäten, Winter Term 2006/2007
- Sichere Systeme, Winter Term 2006/2007
- Software Lab, Summer Term 2006