PhD in Computer Science
2011 - 2015
June 2015, summa cum laude with the congratulations of the examination board Advisors: Prof. dr. Marc Denecker, Prof. dr. Joost Vennekens and Prof. dr. Jan Van den Bussche
I'm hiring! There are currently two open PhD positions in my group, one on the topic of Explainable Constraint Solving and Optimization and one one on algebraic foundations of knowledge representation. Apply now!
I am an assistant professor in the AI lab of the Vrije Universiteit Brussel (VUB). 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,... Before joining the VUB, I was a postdoctoral researcher in the Declarative Languages and Systems Group of the KU Leuven. There, I was one of the developers of the IDP Framework, a knowledge base system for FO(·).
2011 - 2015
June 2015, summa cum laude with the congratulations of the examination board Advisors: Prof. dr. Marc Denecker, Prof. dr. Joost Vennekens and Prof. dr. Jan Van den Bussche
2009 - 2011
Juli 2011, summa cum laude
Department of Mathematics,
KU Leuven
2006 - 2009
Juli 2009, summa cum laude
Department of Mathematics,
KU Leuven
2000 - 2006
October 2018 - ...
AI lab of the VUB
October 2016 - September 2019
2015 - 2016
Computational logic group of Aalto university
2015
KRR group of the KU Leuven
2011 - 2015
Advisors: Prof. dr. Marc Denecker, Prof. dr. Joost Vennekens and Prof. dr. Jan Van den Bussche
Collaboration between the
Knowledge Representation and Reasoning (KRR) group of the
KU Leuven and the databases & theoretical computer science group of Hasselt University & transnational University of Limburg
2009 - 2011
Tutoring in mathematics, physics and informatics.
2019 - now
Lecturer
2019 - now
Lecturer
2019 - now
Lecturer
2018 - now
Lecturer
2016 - 2018
Lecturer
2015 - 2016
Lecturer
2016 - 2018
Teaching assistant
2011 - 2015; 2016 - 2017
Teaching assistant
September 7, 2020, Louvain-La-Neuve, Belgium.
Januari 15, 2019, Leipzig, Germany.
November 6, 2017, Stockholm, Sweden.
October 17, 2016, New York, USA.
International Workshop on Logic and Search (Lash 2016)
July 18, 2014, Vienna, Austria.
International Workshop on Logic and Search (Lash 2014)
First place
Prenex CNF: Second place
No Limits Track: First place
Core Solvers, Sequential, Hard-combinatorial SAT+UNSAT: First place
Core Solvers, Sequential, Hard-combinatorial SAT: Third place
2019-2020, Bachelor's Thesis
Translating Answer Set Programs into Pseudo-Boolean Theories
2016-2017, Master's Thesis
Automatic Translation of Logic Grid Puzzles into a Typed Logic
2014-2015, Master's Thesis
Orakels in IDP: Een implementatie voor epistemische logica (Oracles in IDP: An implementation for epistemic logic)
2013-2014, Master's Thesis
Event Extraction from Text and Translation to Event Calculus
2011-2012, Master's Thesis
Het vereenvoudigen van FOBDD's met behulp van Presburger arithmetiek (Using Presburger Arithmetic to simplify FOBDDs)
2011-2012, Master's Thesis
Dimensies en Eenheden in IDP (Dimensions and Units in IDP)
I have (co)-authored the following software: ZebraTutor, IDP3, MinisatID, BreakID, so2grounder, SmsControl.