Lebenslauf

Akademische Erfahrungen

seit Dezember 2007
Forscher (Post-Doktorand) in der Arbeitsgruppe Security and Trust bei SAP Research in Karlsruhe.
März 2007 bis November 2007
wissenschaftlicher Mitarbeiter (Post-Doktorand) in der Gruppe Informationssicherheit des Departements für Informatik derETH Zürich.
März 2007
am 9. März 2007 habe ich meine Doktorarbeit verteidigt. Der Titel meiner Doktorarbeit lautet: An Interactive Proof Environment for Object-oriented Specifications (Ein interaktives Beweissystem für objekt-orientierte Spezifikationen).
Januar 2003 bis März 2007
wissenschaftlicher Mitarbeiter und Doktorand in der Gruppe Informationssicherheit des Departements für Informatik derETH Zürich.
Juli 2000 bis Dezember 2003
wisenschaftlicher Mitarbeiter der Gruppe Softwaretechnik derFakultät für Informatik der Albert-Ludwigs-Universität Freiburg.
July 2000
Diplom im Fach Informatik an der Albert-Ludwigs-Universität Freiburg. Titel der Arbeit: Verifikation von Dividieren mit Word-Level-Decision-Diagrams, betreut von Prof. Dr. Bernd Becker.

PC Memberships

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)