His research focuses on problems in the area of knowledge representation and reasoning; in particular, complexity analysis in AI and logic programming. In winter term 2013, he held a position as deputy professor at Leipzig University. In 2013, he received the prestigious START award from the Austrian Science Fund (FWF).