Department of Computer Science
Modeling and Analysis of Information Systems
I joined the faculty of the Computer Science Department at the TU Darmstadt in April 2007.
Before moving to Darmstadt, I led the Security Engineering group at the RWTH Aachen as a Juniorprofessor (08/'05-03/'07). At the ETH Zurich, I spent almost two years as a postdoctoral researcher in David Basin's Information Security Group (10/'03-07/'05). In Saarbruecken, I worked for several years at the German Research Center for Artificial Intelligence (DFKI GmbH) as a researcher in Joerg Siekmann's Formal Methods Group (12/'96-09/'03). During this time, I also spent extended research stays at Chalmers University in Gothenborg, Sweden and at Cornell University in Ithaca, USA. Earlier in my life, I enjoyed studying Computer Science at the TU Darmstadt and at the University of Colorado at Boulder.