CV

August 2025 – …: Father.
July 2024 – …: Researcher/Programmer at Intelli-Select.
Early 2023 – …: Founding member of De Nieuwe Lijst.
July 2022 – …: Running the knowledge engineering company Nonfiction Software and developing the combinatorial programming language ManyWorlds.
October 2023 – September 2024: Voluntary collaborator at the University of Leuven.
October 2022 – September 2023: Postdoctoral fellow at the Department of Computer Science at the University of Leuven, campus Heverlee.
January 2022 – March 2022: Hiking the Andes mountains in Chili.
December 2021: Consultant at Omniseal Solutions (Saint-Gobain).
December 2020 – November 2021: Postdoctoral fellow at the Department of Computer Science at the University of Leuven, campus De Nayer.
September 2019 – August 2020: Postdoctoral fellow at the Department of Computer Science at Lund University, in the MIAO research group.
September 2019 – August 2020: Guest researcher at the Department of Computer Science at the University of Copenhagen, in the BARC research group.
September 2018 – August 2019: Postdoctoral researcher at the School of Electrical Engineering and Computer Science at the KTH Royal Technical University, Stockholm.
March 2017 – August 2018: Post-doc at the Department of Computer Science at the University of Leuven, in the KRR research group.
October 2012 – February 2017: PhD researcher at the above KRR research group.

2024: Exact showed top performance at linear decision problems in the pseudo-Boolean competition.
2023: Submitted by Bart Bogaerts e.a., BreakID-kissat gets a special prize at the 2023 SAT competition.
2018: Het Gouden Krijtje (The Golden Chalk) for student-voted best teaching assistant in the Bachelor Informatica at KU Leuven.
2016: Gold medal in the No-Limit track of the 2016 SAT competition with the symmetry breaking solver BreakIDCOMiniSatPS.
2015: First place in the Logic Programming / Constraint Programming Contest as part of a team with Ingmar Dasseville and Matthias van der Hallen.

2023-2024: Daily thesis supervisor of master student Orestis Loomis.
2023: TA Modeling of Complex Systems at KU Leuven.
2021: Guest docent for Programmeertechnieken at KU Leuven campus Sint-Katelijne-Waver.
2012-2018: Daily thesis supervisor for the following bachelor and master students: Neline Van Ginkel, Koen De Cock, Tim Vandeneynde, Nick Brugmans, Benjamin Stienlet, Lieven Paulissen, Pierre Carbonelle.
2014-2018: TA Logic for Informaticians at KU Leuven.
2015-2017: Second student ombudsperson for the Bachelor of Informatics at KU Leuven.
2014: Project supervisor for Modelling of Complex Systems at KU Leuven.
2012-2014: TA Introduction to Programming at KU Leuven.
2012-2013: TA Databases at KU Leuven.

December 2019: Research visit to Melbourne University and Monash University on invitation of Emir Demirović.
December 2018: Research visit to the Zuse-Institute Berlin on invitation of Ambros Gleixner.
August 2018: Participation to the invite-only workshop on the Theory and Practice of Satisfiability Solving.
Program Committee member for international conferences such as IJCAI and AAAI.
Nine years’ worth of international conferences and workshops since November 2012.

2017: Doctor of Engineering Science: Computer Science – University of Leuven, Belgium, promotor Marc Denecker.
2012: Master of Engineering: Computer Science – University of Leuven, Belgium.
2010: Bachelor of Science: Informatics – University of Leuven, Belgium.
2006: Secondary education with Latin and Mathematics as main choice topics – Sint-Lodewijkscollege, Brugge, Belgium.

Native Dutch, excellent English, fluent French, survivalist Spanish and German, notions of Swedish, Russian, Greek, Latin.
17 years of experience in the C/C++ programming languages, 10 years of Python, 5 years of Java/Kotlin, 2 years of PHP/Typescript/Angular, expertise in a large range of declarative languages such as ManyWorlds, Prolog, ASP, SMT-LIB, FO(.), CP, MiniZinc, SAT, PBO, MIP…
17 years of Linux and Git experience.
Flexible software project collaborator.

Born 1988-02-03 in Bruges, Belgium.