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.

2011: The Second International Workshop on Security Testing (SECTEST 2011)
2010: Tenth OCL Workshop. OCL and Textual Modelling (OCL 2010)
2009: Second Workshop on Relationships and Associations in Object-oriented Languages (RAOOL 2009)
Ninth OCL Workshop. The Pragmatics of OCL and other textual specification languages.(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)