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
Dr. Bart Bogaerts
Assistant Professor
Personal Profile
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(·).
Education
Master of Science in Mathematics
2009 - 2011
Juli 2011, summa cum laude
Department of Mathematics,
KU Leuven
Bachelor of Science in Mathematics
2006 - 2009
Juli 2009, summa cum laude
Department of Mathematics,
KU Leuven
Mathematics-Science
2000 - 2006
Experience
Assistant professor
October 2018 - ...
AI lab of the VUB
Postdoctoral Fellow of the Research Foundation - Flanders (FWO)
October 2016 - September 2019
Postdoctoral researcher
2015 - 2016
Computational logic group of Aalto university
Postdoctoral researcher
2015
KRR group of the KU Leuven
PhD researcher
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
Self-employed as secondary activity
2009 - 2011
Tutoring in mathematics, physics and informatics.
Teaching
Theory of Computation
2021 - now
Lecturer
Scientific Computing
2021 - now
Lecturer
Discrete Modeling, Optimization, and Search
2019 - now
Lecturer
Algorithms and Data Structures 2
2019 - now
Lecturer
Fundamentals of Computer Science
2019 - 2021
Lecturer
Automata and Computability
2018 - 2021
Lecturer
Databases
2016 - 2018
Lecturer
Discrete models and search
2015 - 2016
Lecturer
Advanced Programming Languages for Artificial Intelligence
2016 - 2018
Teaching assistant
Modelling of Complex Systems
2011 - 2015; 2016 - 2017
Teaching assistant
Selected Talks
Combinatorial Solving with Provably Correct Results 
August 20, 2023, Macao, S.A.R.
Tutorial at the 32nd International Joint Conference on Artificial Intelligence (IJCAI)
Certified Static and Dynamic Symmetry Breaking 
April 20, 2023, Simons Institute, UC Berkeley, USA
Combinatorial Solving with Provably Correct Results
November 29, 2022, University of Copenhagen, Denmark (Virtual)
On Symmetries and Certification
October 13, 2022, Schloss Dagstuhl, Germany
Dagstuhl seminar on Theory and Practice of SAT and Combinatorial Solving
Solving with Provably Correct Results: Beyond Satisfiability, and Towards Constraint Programming
August 2, 2022, Haifa, Israel
The IDP System: What and Why?
October 25, 2021, Virtual Conference
A framework for step-wise explaining how to solve constraint satisfaction problems
April 24, 2021, Simons Institute, UC Berkeley, California, USA
Step-Wise Explanations for Constraint Satisfaction (and Optimization?)
September 7, 2020, Louvain-La-Neuve, Belgium.
Approximation Fixpoint Theory and its Application to Knowledge Representation
Januari 15, 2019, Leipzig, Germany.
Symmetry Exploitation for Combinatorial Problems
November 6, 2017, Stockholm, Sweden.
Propagators and Solvers for the Algebra of Modular Systems
October 17, 2016, New York, USA.
International Workshop on Logic and Search (Lash 2016)
Lazy Model Expansion: Interleaving Grounding with Search
July 18, 2014, Vienna, Austria.
International Workshop on Logic and Search (Lash 2014)
Awards and Prices
2019 Holy Grail Challenge
First place
2016 QBFEval
Prenex CNF: Second place
2016 SAT Competition
No Limits Track: First place
2013 SAT Competition
Core Solvers, Sequential, Hard-combinatorial SAT+UNSAT: First place
Core Solvers, Sequential, Hard-combinatorial SAT: Third place
PhD Students
Simon Marynissen
January 2022, Joint PhD KU Leuven-VUB
Advances in Justification Theory
Software
I have (co)-authored the following software: ZebraTutor, IDP3, MinisatID, BreakID, so2grounder, SmsControl.