About Me
Hi! I am Maarten, a PhD student at TU Delft. I work on anything to do with Constraint Programming solvers: The theory for the algorithms and data structures, the software design, and the certified correctness of these solvers.
As part of my PhD, I am one of the main contributors to the Constraint Programming solver Pumpkin. Our aim is for Pumpkin to be a constraint programming library that is flexible for research while being competitive with more mature solvers. It is written in the Rust programming language and won a silver and bronze medal in the 2026 MiniZinc challenge, and a bronze medal in the 2025 challenge!
Beyond my research, I enjoy programming in general. I also love playing and watching football (soccer for the Americans), skiing, and most tabletop or video games.
Publications
- Formally Verified Certification of Constraint Programming Proofs 32nd International Conference on Principles and Practice of Constraint Programming (CP 2026), 2026
- From Literals to Atomic Constraints: Generalising Conflict-Driven Clause Learning for Constraint Programming 32nd International Conference on Principles and Practice of Constraint Programming (CP 2026), 2026
- Resolution Meets Cutting Planes: Introducing Hypercube Linear Resolution International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2026
- Using Certifying Constraint Solvers for Generating Step-wise Explanations Proceedings of the AAAI Conference on Artificial Intelligence, 2026
- Conflict Analysis Based on Cutting-Planes for Constraint Programming 31st International Conference on Principles and Practice of Constraint Programming (CP 2025), 2025
- A Multi-Stage Proof Logging Framework to Certify the Correctness of CP Solvers 30th International Conference on Principles and Practice of Constraint Programming (CP 2024), 2024