Skip to content
View ImkoMarijnissen's full-sized avatar
6 followers · 2 following

Achievements

Achievement: Pull Sharkx3Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Quickdraw

Achievements

Achievement: Pull Sharkx3Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Quickdraw

Block or report ImkoMarijnissen

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
ImkoMarijnissen/README.md

Imko Marijnissen

PhD candidate at the Delft University of Technology in the Algorithmics group. I work in the ConSol lab led by Emir Demirović.

My research focuses on scheduling in the domain of quantum computing, particularly using Constraint Programming.

I am one of the core contributors of Pumpkin, a Lazy Clause Generation (LCG) Constraint Programming (CP) solver developed by the ConSol Lab. Pumpkin won a silver 🥈 and a bronze medal 🥉 in the 2026 MiniZinc Challenge!

🔗 Links

Personal Website E-mail

Orcid Google Scholar

Pinned Loading

  1. ConSol-Lab/Pumpkin ConSol-Lab/Pumpkin Public

    A Lazy Clause Generation Constraint Programming solver written in Rust.

    Rust 105 34

  2. ImkoMarijnissen.github.io ImkoMarijnissen.github.io Public

    Repository for imkomarijnissen.com

    HTML