https: Résumé of Bart Bogaerts
Bart Bogaerts

Dr. Bart Bogaerts

Research Professor

ERC Consolidator Grant CertiFOX

home CV publications
  • @:
  • w: bartbogaerts.eu
  • p: +32 2 629 37 06
  • a: Celestijnenlaan 200a - room 01.14
        3001 Heverlee
        Belgium

Personal Profile

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).

News

Daimy van Caudenberg won the BrEA student prize for best master thesis in computer science for her work on enumerating solutions of the Yang-Baxter Equation.

Dieter Vandesande obtains a prestigious FWO Aspirant Fundamental Resarch fellowship.

Dieter Vandesande is runner up for the VCLA Outstanding Master Thesis Award.

Robbe van den Eede obtains best paper award at LPNMR 2024 for his work on proof systems for inductive definitions.

Selected Talks

Combinatorial Solving with Provably Correct Results ppt ytb

November 29, 2022, University of Copenhagen, Denmark (Virtual)

MIAO Seminar

A framework for step-wise explaining how to solve constraint satisfaction problems ppt ytb

April 24, 2021, Simons Institute, UC Berkeley, California, USA

Beyond Satisfiability Workshop

Approximation Fixpoint Theory and its Application to Knowledge Representation ppt

Januari 15, 2019, Leipzig, Germany.

Leipzig University

Propagators and Solvers for the Algebra of Modular Systems ppt

October 17, 2016, New York, USA.

International Workshop on Logic and Search (Lash 2016)

Lazy Model Expansion: Interleaving Grounding with Search ppt

July 18, 2014, Vienna, Austria.

International Workshop on Logic and Search (Lash 2014)

Awards and Prices

2024 SAT Competition

Main Track SAT: second place

2023 SAT Competition

Honorary medal

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

Maxime Jakubowski

May 2024, Joint PhD UHasselt-VUB

Shapes Constraint Language: Formalization, Expressiveness, and Provenance pdf

Emilio Gamba

May 2024, Joint PhD VUB-KU Leuven

Step-Wise Explanations for Constraint Solving pdf

Simon Marynissen

January 2022, Joint PhD KU Leuven-VUB

Advances in Justification Theory pdf

Software

I have (co)-authored the following software: ZebraTutor, IDP3, MinisatID, BreakID, so2grounder, SmsControl.

Publications

?>7