Guido Tack

Guido leads MiniZinc development, giving people building optimisation models an open-source language that works with a wide range of solvers. Contributions to model analysis and translation support clearer, more usable modelling tools. Research on unit types proposes additional checks to catch confusion between resources, times and durations, addressing errors that can be difficult to trace once a model runs.

Guido Tack is an Associate Professor at Monash University and leads development of MiniZinc, a free, open-source constraint modelling language and its supporting toolchain. MiniZinc allows practitioners to specify problem rules and goals without coupling the formulation to a single solver. Contributions to language design, compiler transformations and model analysis ensure models are easier to express, inspect and run across diverse solving technologies.

After completing a doctorate in computer science at Saarland University and postdoctoral research at Saarland, K.U. Leuven and the NICTA Victoria Laboratory, Guido joined Monash in February 2012. Academic research spans optimisation, programming languages and computational logic, alongside substantial work as a primary developer of Gecode, a modular constraint programming library. Teaching commitments at Monash include modelling discrete optimisation problems.

A central focus involves catching defects in models before errors become difficult to diagnose. Guido co-authored the 2025 paper “Unit Types for MiniZinc”, proposing static checks that distinguish numbers representing different resources, as well as separating event times from durations. Stronger compile-time verification and clearer abstractions directly improve software quality, preventing subtle bugs in the constraint rules used to compute real-world solutions.