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 languagea and won a bronze medal in the 2025 MiniZinc 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.