Scholar
Bart Bogaerts
Google Scholar ID: XFeUJTkAAAAJ
Research Professor, DTAI lab, Department of Computer Science, KU Leuven
Citations & Impact
Citations
957
H-index
18
i10-index
28
Publications
20
Co-authors
27
list available
Publications
Resume (English only)
Academic Achievements
- Recipient of an ERC Consolidator Grant
- Robbe Van den Eede has been awarded a prestigious FWO Aspirant Fundamental Research fellowship
- Welcomed Nils Froleyks as a PostDoc and Maximilian Moeller for a PhD program
- Received CP 2025 best student paper award for work on Symmetric Core Learning for Pseudo-Boolean Optimization by Implicit Hitting Sets
- Alexander Ek, an expert in Constraint Programming, joined as a postdoc
- Daimy van Caudenberg won the BrEA student prize for her master's thesis on enumerating solutions of the Yang-Baxter Equation
- Dieter Vandesande was awarded a prestigious FWO Aspirant Fundamental Research fellowship and was runner-up for the VCLA Outstanding Master Thesis Award
- Robbe van den Eede received the best paper award at LPNMR 2024 for his work on proof systems for inductive definitions
Research Experience
- Serves as a research professor in the Declarative Languages and Artificial Intelligence section at KU Leuven; also partially affiliated with the AI lab at Vrije Universiteit Brussel (VUB).
Background
- Research professor with interests spanning the field of knowledge representation, from high-level representation languages to SAT performance optimizations, unifying semantics of logics through algebraic frameworks, and implementing knowledge base systems. Current focus is on developing trust in solving technology via proofs.
