Short CV
I am employed in AVACS, Automatic Verification and Analysis of Complex Systems, a Transregional Collaborative Research Center of the universities of Freiburg, Oldenburg, and Saarbrücken. I am a member of the Research Group on the Foundations of Artificial Intelligence led by Prof. Dr. Bernhard Nebel.
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.
From 1999 to 2001, I was a researcher in the ERCIM Postdoctoral Fellowship Programme. I spent nine months at INRIA working with Pierre Deransart, and eleven months at CWI working with Krzysztof Apt.
From 1996 to 1999, I worked on my PhD at the University of Kent at Canterbury. I did my Diplom (Masters degree) at the University of Saarbrücken (Max-Planck-Institut) in 1996.
