Peter Stuckey

Peter contributes to MiniZinc’s language design and lazy clause generation solvers, giving engineers reusable tools for stating constraints and investigating solutions. MiniZinc’s open-source language supports models that can run with different solvers, making systematic analysis accessible without tying a model to one implementation. Team leadership and online teaching also help people learn and apply constraint modelling.

Peter Stuckey is a Professor and MiniZinc researcher at Monash University, where Peter leads the MiniZinc team. In constraint programming, Peter develops languages for stating the rules a solution must satisfy, alongside solvers that search for solutions meeting those criteria. Major contributions include the design of the MiniZinc language and lazy clause generation, an approach for efficiently exploring possible solutions.

MiniZinc is a free, open-source modelling language for problems involving constraints and optimisation. Models run across a wide range of solvers without requiring rewrites for individual backends, supported by an extensive library of predefined constraints that provide reusable building blocks. For engineers, the platform enables explicit requirements and systematic investigation into whether proposed solutions satisfy them, connecting optimisation research directly to software quality.

Peter also develops and teaches Basic Modeling for Discrete Optimization alongside other large-scale online courses. The curriculum complements language and solver development by training learners to express complex real-world problems as models that software can solve.