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

Research area 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 2019

Information-theoretic inference of an optimal dictionary of protein supersecondary structures

Konagurthu, A. S., Subramanian, R., Allison, L., Abramson, D., de la Banda, M. G., Stuckey, P. J. & Lesk, A. M., 2019, Protein Supersecondary Structures: Methods and Protocols. E. Kister, A. (ed.). 2nd ed. New York NY USA: Springer, p. 123-131 9 p. (Methods in molecular biology (Clifton, N.J.); vol. 1958).

Research output: Chapter in Book/Report/Conference proceedingChapter (Book)Researchpeer-review

1 Citation (Scopus)

Optimal context-sensitive Dynamic Partial Order Reduction with observers

Albert, E., De La Banda, M. G., Gómez-Zamalloa, M., Isabel, M. & Stuckey, P. J., 2019, Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis. Zhang, D. & Moller, A. (eds.). New York NY USA: Association for Computing Machinery (ACM), p. 352-362 11 p.

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

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.). Cham Switzerland: Springer, p. 473-489 17 p. (Lecture Notes in Computer Science; vol. 11008 ).

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

4 Citations (Scopus)

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.). Cham Switzerland: 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.). Cham Switzerland: Springer, p. 403-419 17 p. (Lecture Notes in Computer Science ; vol. 11008 ).

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

Activities 2016 2016

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

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

Member - Australian Computer Society

Maria Garcia De La Banda (Member)
1 Jan 2016

Activity: External Academic EngagementProfessional association or peak discipline body

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