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.

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)