Rate My Professor Banda Garcia

Professor Maria Garcia de la Banda Garcia is a Professor in the Department of Data Science & AI within Monash University's Faculty of Information Technology, boasting over 25 years of academic experience. She obtained her Ingeniero Informático in Computer Science in 1992 and a Doctor of Philosophy in Computer Science in 1994 from Universidad Politécnica de Madrid, with her doctoral dissertation earning the university's Best PhD Award. Her career at Monash began with a Logan Fellowship in 1997, held for six years, followed by leadership roles including Head of the Caulfield School of Information Technology from 2009 to 2011, Deputy Dean of the Faculty from 2013 to 2016, and Deputy Dean Research until July 2022. Presently, she is a member of the ARC College of Experts and Co-Chair of the Monash-Woodside FutureLab. Her research focuses on combinatorial optimisation, program analysis and transformation, declarative programming languages, and bioinformatics. She has attracted more than $20 million in industry funding and $14 million in nationally competitive funding, including $8 million as Chief Investigator in 11 ARC grants, five as lead.

Professor Garcia de la Banda Garcia has significantly impacted her field through editorial contributions, serving as Area Editor for the Journal of Theory and Practice of Logic Programming since 2010 and on the Editorial Board of Constraints since 2019; she was Editor-in-Chief for a Springer publication in 2008. She held elected positions such as President of the Association of Constraint Programming in 2019-2020, and Executive Committee member for the Association of Logic Programming (2005-2008) and Association of Constraint Programming (2017-2020). Awards include the Logan Fellowship (1997), International Constraint Modelling Challenge win with Peter Stuckey (2005), Vice-Chancellor's Diversity and Inclusion Award (2020), and induction into the Monash Honour Roll (2021). Key publications feature 'Functional insights from the distribution and role of homopeptide repeat-containing proteins' (2005), 'The refined operational semantics of Constraint Handling Rules' (2004), 'The design of the Zinc modelling language' (2008), 'PhiSiCal-Checkup: A Bayesian framework to validate amino acid conformations within experimental protein structures' (2025), and 'SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT Techniques' (2024).