Design and implementation of MiniZinc, model analysis and transformation, generating efficient FlatZinc for a diverse range of solvers, making MiniZinc easy to use.
Peter J. Stuckey
Monash University
Design of the MiniZinc language, lazy clause generation solvers, modelling interesting problems, developing and teaching Basic Modeling for Discrete Optimization (and other MOOCs).
Current members
Jip J. Dekker
Monash University
Compilation of MiniZinc, Large Neighbourhood Search, automatic table constraints.
Alexander J. Ek
Monash University
Online and fair optimisation in MiniZinc.
Maria Garcia de la Banda
Monash University
Model analysis and transformation, symmetry detection and breaking, constraint model debugging and profiling.
Jason Nguyen
Monash University
Software engineer, development and maintenance of the MiniZinc tool chain.
Kevin Leo
Monash University
Multi-pass compilation for MiniZinc, constraint solver interfaces, semi-automatic model improvement and debugging.
Andreas Schutt
Data61
Lazy clause generation solvers, scheduling and packing problems, running the MiniZinc challenge.
Mark Wallace
Monash University and Opturion
Industrial applications, language design, linear and hybrid solving approaches.
Former members
Ignasi Abio
NICTA
Automatic translation to SAT.
Gleb Belov
Monash University
Linearisation, MIP solver interfaces, systematic testing and benchmarking.