Skip to content
Portrait of Maria Garcia de la Banda

Luvo100

Maria Garcia de la Banda

Professor; MiniZinc researcher
Monash University
Australia

Verified systems & developer tools

Why they're in the Luvo100

Her contribution makes declarative software easier to inspect and improve. Debugging and profiling tools help users understand unexpected results and inefficient behaviour, bringing practical quality support to an ecosystem where errors can reside in the model itself.