I am a postdoctoral researcher in the working group
"Theory of Artificial Intelligence"
at the University of Bremen.
My research interests are logic-based knowledge representation,
automated reasoning, description logics, modal, temporal, and hybrid logics.
Before coming to Bremen in March 2011, I worked in the Programming Systems Lab
at Saarland University for 4½ months,
and in the IMG
at the School of Computer Science
at the University of Manchester
for 3 years.
In July 2007, I obtained my PhD
from the Department of Computer Science
at the University of Jena,
where I was supervised by Martin Mundhenk.