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 2017

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, Proceedings. Beck, C. (ed.). Cham Switzerland: Springer, Vol. 10416 . p. 321-337 17 p. (1Lecture Notes in Computer Science; vol. 10416 ).

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

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.). Springer-Verlag London Ltd., p. 526-543 18 p. (Lecture Notes in Computer Science ; vol. 10426 LNCS).

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

Statistical Compression of Protein Folding Patterns for Inference of Recurrent Substructural Themes

Subramanian, R., Allison, L., Stuckey, P. J., de la Banda, M. G., Abramson, D., Lesk, A. M. & Konagurthu, A. S., 8 May 2017, Proceedings - DCC 2017, 2017 Data Compression Conference: 4 - 7 April 2017, Snowbird, Utah, USA. Bilgin, A., Marcellin, M. W., Serra-Sagrista, J. & Storer, J. A. (eds.). Piscataway, NJ: IEEE, Institute of Electrical and Electronics Engineers, p. 340-349 10 p. 7923707. (Data Compression Conference. Proceedings).

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

Statistical inference of protein structural alignments using information and compression

Collier, J. H., Allison, L., Lesk, A. M., Stuckey, P. J., Garcia De La Banda, M. & Konagurthu, A. S., 1 Apr 2017, In : Bioinformatics. 33, 7, p. 1005-1013 9 p.

Research output: Contribution to journalArticleResearchpeer-review

Activities 2016 2016

  • 2 Professional association or peak discipline body
  • 1 Committees and working groups
  • 1 Editorial 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

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 - Australian Computer Society

Maria Garcia De La Banda (Member)
1 Jan 2016

Activity: External Academic EngagementProfessional association or peak discipline body