Coordinates
+49 761 203 8291 (phone)
+49 761 203 8242 (fax)
Research
I'm a Ph.D. student at the Chair of Software Engineering, Institute of Computer Science, University of Freiburg. I'm currently working in the AVACS S2 subproject. My research interests include software engineering, program analysis & verification, software model checking and applications of automated reasoning for unbounded reactive systems.
Projects
- Discreet - Discreet Service Provision in Smart Environments (Completed)
- AVACS - Automatic Verification and Analysis of Complex Systems
Conferences
- CONCUR'06 - August 27-31, 2006, Bonn
- VMCAI'07 - January 14-16, 2007, Nice
- SEUH'07 - February 22-23, 2007, Stuttgart
- CAV'07 - July 1-7, 2007, Berlin
- ICSE'08 - May 13-15, 2008, Leipzig
Tutoring
- Software Lab - Winter Term 2003/2004, Saarbrücken, Prof. A. Zeller
- Automated Debugging- Summer Term 2004, Saarbrücken, Prof. A. Zeller
- Verification - Winter Term 2006/2007, Freiburg, Prof. A. Podelski
- Software Engineering - Summer Term 2007, Freiburg, Prof. A. Podelski
- Software Engineering - Summer Term 2008, Freiburg, Prof. A. Podelski
- Software Reliability - Winter Term 2008/2009, Freiburg, Prof. A. Podelski
- Business Processes - Winter Term 2008/2009, Freiburg, Prof. A. Podelski
- Software Engineering - Summer Term 2009, Freiburg, Prof. P. Thiemann
- Advanced Topics in Software Engineering - Summer Term 2009, Freiburg, Prof. A. Podelski
Misc
- I'm a Thawte (Web Of Thrust) notary.