I am a postdoc in the Theory of Artificial Intelligence group at the University of Bremen. Before that, I was a postdoc at the Information Systems Group at the University of Oxford. I obtained my doctoral degree from the Vienna University of Technology under the supervision of Prof. Thomas Eiter.
My main research area is Knowledge Representation and Reasoning. Within this, I am interested in developing algorithms for reasoning with Description Logics, possibly by establishing correspondences to other areas like Constraint Satisfaction problems. I am also interested in non-monotonic formalims like Answer Set Programming, and hybrid languages which combine open domain semantics with non-monotonicity.