
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.