His research interests are in Answer Set Programming and Weighted Propositional Logic, and mainly concern the analysis of theoretical properties of the languages that can lead to advancing state-of-the-art solving technologies. In particular, he contributes with complexity analysis and algorithm design for stable model search for programs with recursive aggregates, query answering in logic based languages, and Boolean optimization.He received an Honourable Mention from the 2011 ECCAI Dissertation Award committee for his outstanding doctoral dissertation, and Best Paper Awards at ICLP 2015 and RR 2015.