If you made any changes in Pure these will be visible here soon.

Personal profile

Biography

Maria Garcia De La Banda is a Professor at the Faculty of Information Technology. From 2013 to 2016 she was the Deputy Dean of the Faculty and prior to this she was the Head of the Caulfield School of Information Technology at the Faculty. Maria is also a Senior Researcher with NICTA and her research interests are; Constraint programming, Program analysis and Transformation, Programming Languages and Bioinformatics. Since 2010 she has been Area Editor of the Journal of Theory and Practice of Logic Programming (ERA A). She has been Chief Investigator in 9 ARC grants (2 cross-Faculty) and Principal Investigator in an NHMRC program.

Maria's PhD, awarded in 1994, won the Universidad Politecnica de Madrid's Best PhD Award. In 1997 she was awarded the first and only prestigious Logan Fellowship in the Faculty of Information Technology a role she held for 6 years. In 2005 she won, with Peter Stuckey, the International Constraint Modelling Challenge. She has been an elected member of the Executive Committee of the Association of Logic Programming (2005-2008), was Program Co-Chair of the 2008 International Conference in Logic Programming (ERA A)

Monash teaching commitment

Professor Maria Garcia de la Banda has experience as the Chief Examiner for the following units in the Faculty of IT:

  • FIT1008/FIT1015 Introduction to computer science
  • FIT3082 Programming Languages and Paradigms

She has also experience as the Lecturer for the following units in the Faculty of IT:

  • FIT1008/FIT1015 Introduction to computer science
  • FIT3082 Programming Languages and Paradigms
  • CSE3301 Computer Science Project
  • CSE1303 Computer Science
  • CSE5340 Programming Language Concepts and Semantics
  • CSE2393/CSE3393/CSC/3930 Prolog Programming

Keywords

  • Program Analysis and Transformation
  • Constraint Programming
  • Combinatorial Optimisation
  • Problem Modelling And Solving
  • Bioinformatics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Projects 2000 2020

Research Output 1993 2018

Process plant layout optimization: equipment allocation

Belov, G., Czauderna, T., de la Banda, M. G., Klapperstueck, M., Senthooran, I., Smith, M., Wybrow, M. & Wallace, M., 23 Aug 2018, Principles and Practice of Constraint Programming : 24th International Conference, CP 2018 Lille, France, August 27–31, 2018 Proceedings. Hooker, J. (ed.). Springer, p. 473-489 17 p. (Lecture Notes in Computer Science; vol. 11008 ).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Solver-independent large neighbourhood search

Dekker, J. J., de la Banda, M. G., Schutt, A., Stuckey, P. J. & Tack, G., 2018, Principles and Practice of Constraint Programming: 24th International Conference, CP 2018 Lille, France, August 27–31, 2018 Proceedings. Hooker, J. (ed.). Springer, p. 81-98 18 p. (Lecture Notes in Computer Science ; vol. 11008 ).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Towards semi-automatic learning-based model transformation

Zeighami, K., Leo, K., Tack, G. & de la Banda, M. G., 1 Jan 2018, Principles and Practice of Constraint Programming : 24th International Conference, CP 2018 Lille, France, August 27–31, 2018 Proceedings. Hooker, J. (ed.). Chad Switzerland: Springer, p. 403-419 17 p. (Lecture Notes in Computer Science ; vol. 11008 ).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

An optimization model for 3D pipe routing with flexibility constraints

Belov, G., Czauderna, T., Dzaferovic, A., de la Banda, M. G., Wybrow, M. & Wallace, M., 2017, Principles and Practice of Constraint Programming : 23rd International Conference CP 2017, Melbourne, VIC, Australia, August 28 – September 1, 2017 Proceedings. Beck, J. C. (ed.). Cham Switzerland: Springer, p. 321-337 17 p. (Lecture Notes in Computer Science; vol. 10416 ).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Open Access
File

Context-sensitive dynamic partial order reduction

Albert, E., Arenas, P., De La Banda, M. G., Gómez-Zamalloa, M. & Stuckey, P. J., 2017, Computer Aided Verification : 29th International Conference, CAV 2017 Heidelberg, Germany, July 24–28, 2017, Proceedings, Part I. Majumdar, R. & Kunčak, V. (eds.). Berlin Germany: Springer, p. 526-543 18 p. (Lecture Notes in Computer Science ; vol. 10426 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Open Access
File

Activities 2016 2016

  • 2 Professional association or peak discipline body
  • 1 Committees and working groups
  • 1 Editorial responsibility

Member - Australian Computer Society

Maria Garcia De La Banda (Member)
1 Jan 2016

Activity: External Academic EngagementProfessional association or peak discipline body

Deputy Dean - Faculty of Information Technology, Monash University

Maria Garcia De La Banda (Executive Member)
1 Jan 2016

Activity: External Academic EngagementCommittees and working groups

Theory and Practice of Logic Programming (Journal)

Maria Garcia De La Banda (Editorial board member)
1 Jan 2016

Activity: Publication peer-review and editorial work typesEditorial responsibility

Member - Association for Computing Machinery (ACM)

Maria Garcia De La Banda (Member)
1 Jan 2016

Activity: External Academic EngagementProfessional association or peak discipline body