Academic CV

Academic Experience

since 12/2007
post-doctoral researcher in the Security and Trust group at SAP Research in Karlsruhe, Germany.
03/2007-11/2007
post-doctoral researcher in the Information Security group of the Computer Science Department at the ETH Zurich.
03/2007
on March 9th, 2007 I defended my Ph.D. thesis An Interactive Proof Environment for Object-oriented Specifications.
01/2003-03/2007
research assistant and PhD-student in the Information Security group of the Computer Science Department at the ETH Zurich.
07/2000-12/2002
research assistant at the Software Engineering group of the Computer Science Department at the Albert-Ludwigs-University Freiburg.
06/2000
Diplom Informatiker (Masters of Computer Science), Albert-Ludwigs University Freiburg, Germany. Title of thesis: Verification of Division Circuits using Word-level Decision-diagrams, supervised by Prof. Dr. Bernd Becker.

PC Memberships

2009
Second Workshop on Relationships and Associations in Object-oriented Languages (RAOOL 2009)
Ninth OCL Workshop. (OCL 2009)
2008
Eighth OCL Workshop. OCL Tools: From Implementation to Evaluation and Comparison (OCL 2008)
First International Workshop on Security Testing (SECTEST 2008)
Fifth International Workshop on Model Driven Engineering, Verification, and Validation (MoDeVVA 2008)