 |
Room Phone Fax Mail |
Research
I'm a Ph.D. student at the Chair of Software Engineering, Institute of Computer Science, University of Freiburg. My research interests include software engineering, automated program verification & analysis, automated debugging and high-level programming languages.
Projects
- AVACS - Automatic Verification and Analysis of Complex Systems
- Discreet - Discreet Service Provision in Smart Environments
Publications
- Bestimmen von Fehlerursachen an Vergleichspunkten mit abweichendem Kontrollfluss (Diploma Thesis, Andreas Zeller, Saarbrücken, 2005)
Conferences
- CONCUR'06 - August 27-31, 2006, Bonn
- AVACS Project Meeting - September 25-29, 2006, Oldenburg
- VMCAI'07 - January 14-16, 2007, Nice
- SEUH'07 Workshop - February 22-23, 2007, Stuttgart
- AVACS Project Meeting - March 20-23, 2007, Saarbrücken
- CAV'07 - July 1-7, 2007, Berlin
- AVACS Project Meeting - November 7-9, 2007, Schloss Dagstuhl
- AVACS Project Meeting - January 21-23, 2008, Saarbrücken
- AVACS Project Meeting - February 27-29, 2008, Oldenburg
- ICSE'08 - May 13-15, 2008, Leipzig
Tutoring
- Software Lab - Winter Term 2003/2004, Saarbrücken
- Automated Debugging - Summer Term 2004, Saarbrücken
- Verification - Winter Term 2006/2007, Freiburg
- Software Engineering - Summer Term 2007, Freiburg
- Software Engineering - Summer Term 2008, Freiburg
Misc
- I'm a Thawte (WOT) notary.