Hereceived his Masters and PhD degree in computer science from TU Wienin 2000 and 2002, respectively. Past and present research and teaching activities center on computational logic, particularly related to logic programming, information integration,knowledge-based software agents, and declarative planning.He served on the program committee of renowned international conferences in artificial intelligence and logic programming and iscurrently leading a project on inconsistency management in Multi-Context Systems.