I'm a research professor in the Declarative Languages and Artificial Intelligence section of the KU Leuven. My research interests are spread throughout the field of knowledge representation. They range from high-level representation languages to performance optimisations in SAT, from abstract, algebraical frameworks to unify semantics of logics to implementation of knowledge base systems, from applications of KR to integration of declarative problem solving paradigms,... My current focus is developing mechanisms that instill trust in solving technology by means of proofs. This is the core topic of my ERC grant.

I am also partially affiliated to the AI lab of the Vrije Universiteit Brussel (VUB).