Martin Schäf
 |
Martin Schäf
University of FreiburgGeorges-Köhler-Allee 52
79110 Freiburg
building 052, room 00-005 |
This page is no longer maintained. For up-to-date information, please check my new homepage
Research
I am implementing a method to detect doomed program points in the Boogie Program Verifier.
Publications
- It's doomed; we can prove it with Jochen Hoenicke, K. Rustan M. Leino, Andreas Podelski, and Thomas Wies
in Proceedings of FM, 2009.
Talks & Travels
- FM2009 - November 2009, Eindhoven
- Research Visit - RiSE Group, June 2009, Redmond
- 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