From 2004 to 2011, I was employed in the project AVACS, Automatic Verification and Analysis of Complex Systems. I was a member of the Research Group on the Foundations of Artificial Intelligence led by Prof. Dr. Bernhard Nebel.
I obtained my Habilitation in July 2009.
From October 2010 until July 2011 I substituted for Prof. Dr. Bernhard Nebel as head of the Research Group on the Foundations of Artificial Intelligence.
From 2001 to 2004, I was employed in MMISS, Multimedia Instruction in Secure Systems, a joint project of the Universities of Bremen, Freiburg, Hagen, München, and Saarbrücken. I was a member of the Software Engineering Group of Prof. Dr. David Basin.