Peter Stuckey

Why they're in the Luvo100

Stuckey’s reusable modelling and solver infrastructure lets engineers state constraints explicitly and investigate whether proposed solutions satisfy them. The software-quality connection is systematic reasoning and analysis, rather than optimisation performance alone.