Prof Mark Wallace - Researcher Profile

Mark Wallace

Address

Faculty of Information Technology
Level 6, Building H, Caulfield

Contact Details

Tel: +61 3 990 51367

Tel: +61 3 990 34276

Fax: +61 3 990 31077

Email: Mark.Wallace@monash.edu


Biography

Professor Mark Wallace works in the Faculty of Information Technology at Monash University and is Director of the CTI-Monash Centre for Optimisation in Travel, Transport and Logistics . He is a NICTA fellow and member of NICTA's leadership team in the are of Optimisation.

Professor Wallace graduated from Oxford University in Mathematics and Philosophy.  He worked for the UK computer company ICL for a total of 21 years, in between completing a Masters degree in Artificial Intelligence at the University of London and a PhD sponsored by ICL at Southampton University.  For his PhD, he designed a natural language processing system which ICL turned into a product. He moved to Imperial College in 2002, taking a Chair at Monash University in 2004.

His focus both in industry and University has been on application-driven research and development, where industry funding is essential both to ensure research impact and to support sufficient research effort to build software systems that are robust enough for application developers to actually use.

He lead the team who developed the ECLiPSe constraint programming platform, which was bought by Cisco Systems in 2004.  After moving to Australia he co-founded the research team developing a novel hybrid optimisation software platform called G12, and is currently involved in a commercialisation of this platform.

His research interests span different techniques and algorithms for optimisation and their integration and application to solving complex resource planning and scheduling problems.  He was a co-founder of the hybrid algorithms research area and is a leader in the research areas of Constraint Programming (CP) and hybrid techniques (CPAIOR).  The outcomes of his research in these areas include practical applications in transport optimisation.

In collaboration with the Melbourne-based software company Constraint Technologies International, Professor Wallace has developed algorithms for airline and rail optimisation.  He has also developed transport planning algorithms for VicRoads, and is a consultant for Melbourne Operations Research (MORe).  Within Monash he is currently collaborating with the Institute for Railway Technology, and the Institute for Transport Studies, and leads the Monash node in a Collaborative Research Network with several Victorian Universities.

 

Keywords

algorithms, constraint programming, hybrid techniques, optimisation, problem modelling and solving, transport applications

Qualifications

PhD
Institution: Southampton (UK)
Year awarded: 1983
MSc Artificial Intelligence
Institution: University of London
Year awarded: 1980
MA Mathematics and Philosophy
Institution: University of Oxford
Year awarded: 1977

Publications

Books

Apt, K.R., Wallace, M., 2007, Constraint Logic Programming Using ECLiPSe, Cambridge University Press, Cambridge UK.

Book Chapters

Marriott, K.G., Stuckey, P.J., Wallace, M., 2006, Constraint logic programming, in Handbook of Constraint Programming, eds Francesca Rossi, Peter van Beek and Toby Walsh, Elsevier, Amsterdam The Netherlands, pp. 409-452.

Ajili, F., Wallace, M., 2004, Hybrid problem solving in ECLiPSe, in Constraint and Integer Programming: Toward a Unified Methodology, eds Michela Milano, Kluwer Academic Publishers, Norwell MA USA, pp. 169-206.

Journal Articles

Akartunali, K., Boland, N., Evans, I.R., Wallace, M., Waterer, H., 2013, Airline planning benchmark problems - Part I: Characterising networks and demand using limited data, Computers and Operations Research [P], vol 40, issue 3, Pergamon-Elsevier Science, Kidlington England, pp. 775-792.

Akartunali, K., Boland, N., Evans, I.R., Wallace, M., Waterer, H., 2013, Airline planning benchmark problems - Part II: Passenger groups, utility and demand allocation, Computers and Operations Research [P], vol 40, issue 3, Pergamon-Elsevier Science, Kidlington England, pp. 793-804.

Schutt, A., Feydy, T., Stuckey, P.J., Wallace, M.G., 2013, Solving RCPSP/max by lazy clause generation, Journal of Scheduling [P], Springer, Dordrecht Netherlands.

Puchinger, J., Stuckey, P.J., Wallace, M., Brand, S., 2011, Dantzig-Wolfe decomposition and branch-and-price solving in G12, Constraints [P], vol 16, issue 1, Springer, Dordrecht Netherlands, pp. 77-99.

Schutt, A., Feydy, T., Stuckey, P.J., Wallace, M., 2011, Explaining the cumulative propagator, Constraints [P], vol 16, issue 3, Springer, Dordrecht Netherlands, pp. 250-282.

Milano, M., Wallace, M., 2010, Integrating operations research in constraint programming, Annals Of Operations Research [P], vol 175, issue 1, Springer, Dordrecht Netherlands, pp. 37-76.

Mears, C.D., Garcia De La Banda, M.J., Wallace, M., 2009, On implementing symmetry detection, Constraints [P], vol 14, issue 4, Springer, Dordrecht GZ Netherlands, pp. 443-477.

Marriott, K.G., Nethercote, N., Rafeh, R., Stuckey, P.J., Garcia De La Banda, M.J., Wallace, M., 2008, The design of the Zinc modelling language, Constraints, vol 13, issue 3, Springer, Netherlands, pp. 229-267.

Bampo, M., Ewing, M., Mather, D.R., Stewart, D.B., Wallace, M., 2008, The effects of the social structure of digital networks on viral marketing performance, Information Systems Research, vol 19, issue 3, INFORMS, Hanover MD USA, pp. 273-290.

Milano, M., Wallace, M., 2006, Integrating operations research in constraint programming, 4OR: A Quarterly Journal of Operations Research, vol 4, issue 3, Springer-Verlag, Germany, pp. 175-219.

Stuckey, P.J., Garcia De La Banda, M.J., Maher, M., Marriott, K.G., Slaney, J., Somogyi, Z., Wallace, M., Walsh, T., 2005, The G12 project: Mapping solver independent models to efficient solutions, Lecture Notes in Computer Science, vol 3668, Springer, Germany, pp. 9-13.

Wallace, M., Schimpf, J., Shen, K., Harvey, W., 2004, On benchmarking constraint logic programming platforms. Response to Fernandez and Hill's "A comparative study of eight constraint programming languages over the boolean and finite domains", Constraints, vol 9, issue 1, Springer, Dordrecht GZ Netherlands, pp. 5-34.

Wallace, M., 2003, Languages versus packages for constraint problem solving, Lecture Notes in Computer Science, vol 2833, Springer-Verlag, Berlin Germany, pp. 37-52.

Wallace, M.G., 2002, Constraint Logic Programming, Lecture Notes in Artificial Intelligence, vol 2407, issue Part 1, Springer-Verlag, Berlin Germany, pp. 512-532.

Wallace, M., Schimpf, J., 2002, Finding the right hybrid algorithm - a combinatorial meta-problem, Annals of Mathematics and Artificial Intelligence, vol 34, issue 4, Springer, Netherlands, pp. 259-269.

Eremin, A., Wallace, M., 2001, Hybrid Benders Decomposition Algorithms in Constraint Logic Programming, Lecture Notes in Computer Science: Principles and Practice of Constraint Programming, vol 2239, Springer-Verlag, Germany, pp. 1-15.

El Sakkout, H.H., Wallace, M., 2000, Probe Backtrack Search for Minimal Perturbation in Dynamic Scheduling, Constraints, vol 5, issue 4, Springer Netherlands, Netherlands, pp. 359-388.

Conference Proceedings

Kelareva, E., Brand, S., Kilby, P., Thiebaux, S., Wallace, M., 2012, CP and MIP methods for ship scheduling with time-varying draft, Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling, 25 June 2012 to 29 June 2012, Association for the Advancement of Artificial Intelligence, Palo Alto CA USA, pp. 110-118.

Schutt, A., Chu, G., Stuckey, P.J., Wallace, M., 2012, Maximising the net present value for resource-constrained project scheduling, Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: 9th International Conference, Proceedings, 28 May 2012 to 01 June 2012, Springer-Verlag, Berlin Germany, pp. 362-378.

Gu, H., Stuckey, P.J., Wallace, M., 2012, Maximising the net present value of large resource-constrained projects, Principles and Practice of Constraint Programming: 18th International Conference, Proceedings, 08 October 2012 to 12 October 2012, Springer-Verlag, Berlin Germany, pp. 767-781.

Mears, C., Niven, T., Jackson, M., Wallace, M., 2011, Proving symmetries by model transformation, Proceedings of the 17th International Conference on Principles and Practice of Constraint Programming, 12 September 2011 to 16 September 2011, Springer-Verlag, Berlin Germany, pp. 591-605.

Samulowitz, H., Tack, G., Fischer, J., Wallace, M., Stuckey, P., 2010, Towards a lightweight standard search language, Proceedings of the 9th International Workshop on Constraint Modelling and Reformulation, 06 September 2010, Uppsala University, Uppsala Sweden, pp. 1-16.

Schutt, A., Feydy, T., Stuckey, P.J., Wallace, M., 2009, Why cumulative decomposition is not as bad as it sounds, Proceedings of the 15th International Conference on the Principles and Practice of Constraint Programming, 20 September 2009 to 24 September 2009, Springer Verlag, Berlin Germany, pp. 746-761.

Mears, C.D., Garcia De La Banda, M.J., Wallace, M., Demoen, B., 2008, A novel approach for detecting symmetries in CSP models, Lecture Notes In Artificial Intelligence, 20/05/2008-23/05/2008, Springer-Verlag, Berlin Germany, pp. 158-172.

Rafeh, R., Marriott, K.G., Garcia De La Banda, M.J., Nethercote, N., Wallace, M., 2008, Adding search to Zinc, Proceedings of the 14th International Conference on Principles and Practice of Constraint Programming (CP 2008), 14 September 2008 to 18 September 2008, Springer-Verlag, Berlin Germany, pp. 624-629.

Puchinger, J., Stuckey, P.J., Wallace, M., Brand, S., 2008, From high-level model to branch-and-price solution in G12, Proceedings of the 5th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2008), 20 May 2008 to 23 May 2008, Springer-Verlag, Berlin Germany, pp. 218-232.

Mears, C.D., Garcia De La Banda, M.J., Demoen, B., Wallace, M., 2008, Lightweight dynamic symmetry breaking, Proceedings of the Eighth International Workshop on Symmetry in Constraint Satisfaction Problems, 14 September 2008 to 18 September 2008, SymCon'08, http://www.aloul.net/symcon/proceedings.html, pp. 1-10.

Mears, C.D., Garcia De La Banda, M.J., Wallace, M., Demoen, B., 2008, Symmetry breaking and branching constraints, Proceedings of the Eighth International Workshop on Symmetry in Constraint Satisfaction Problems, 14 September 2008 to 18 September 2008, SymCon'08, http://www.aloul.net/symcon/proceedings.html, pp. 1-6.

Demoen, B., Garcia De La Banda, M.J., Mears, C.D., Wallace, M., 2007, A novel approach for detecting symmetries in CSP models, Proceedings of the Seventh International Workshop on Symmetry in Constraint Satisfaction Problems, 23 September 2007 to 27 September 2007, SymCon'07, http://www.cmi.univ-mrs.fr/~benhamou/symcon07/Proceedings%20.htm, pp. 30-38.

Rafeh, R., Garcia De La Banda, M.J., Marriott, K.G., Wallace, M., 2007, From Zinc to design model, Proceedings of the 9th International Symposium on Practical Aspects of Declarative Languages (PADL 2007), 14 January 2007 to 15 January 2007, Springer-Verlag, Berlin Germany, pp. 215-229.

Wallace, M., 2007, Hybrid algorithms in constraint programming, Proceedings of the 11th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming: Recent Advances in Constraints (CSCLP 2006), 26 June 2006 to 28 June 2006, Springer-Verlag, Berlin Germany, pp. 1-32.

Becket, R., Garcia De La Banda, M.J., Marriott, K.G., Somogyi, Z., Stuckey, P.J., Wallace, M., 2006, Adding constraint solving to Mercury, Proceedings of the 8th International Symposium on Practical Aspects of Declarative Languages (PADL 2006), 9 January 2006 to 10 January 2006, Springer-Verlag, Germany, pp. 118-133.

Garcia De La Banda, M.J., Marriott, K.G., Rafeh, R., Wallace, M., 2006, The modelling language Zinc, Proceedings of the 12th International Conference on Principles and Practice of Constraint Programming (CP 2006), 25 September 2006 to 29 September 2006, Springer-Verlag, Germany, pp. 700-705.

Wallace, M., Eisenberg, C., 2005, Constraint programming for improved wafer fabrication throughput, Proceedings of the 3rd International Conference on Modeling and Analysis of Semiconductor Manufacturing, 6 October 2005 to 7 October 2005, Singapore Institute of Manufacturing Technology (SIMTech), Singapore, pp. 169-174.

Rafeh, R., Marriott, K.G., Wallace, M., Garcia De La Banda, M.J., 2005, Towards the new modelling language zinc, ODSC 2005: Conference Proceedings of the Australian Open Source Developers' Conference, 05 December 2005 to 07 December 2005, Monash University, Melbourne Vic Australia, pp. 138-142.

Xia, Q., Eremin, A., Wallace, M., 2004, Problem decomposition for traffic diversions, Proceedings of the First International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2004), 20 April 2004 to 22 April 2004, Springer-Verlag, Berlin Germany, pp. 348-363.

Other

Freuder, E., Wallace, M., 2005, Search Methodologies - Introductory Tutorials in Optimization and Decision Support Techniques, Constraint Programming, Book chapter in E.K.Burke and G.Kendall (Eds), Springer, Berlin.

Wallace, M., Caseau, Y., Puget, J., 2004, Open perspectives, Kluwer Academic Publishers, Norwell MA USA, pp. 331-365.

Freuder, E., Wallace, M., 2003, Constraint satisfaction, Kluwer Academic Publishers, Norwell MA USA, pp. 405-428.

Teaching Commitment

Professor Mark Wallace is the Chief Examiner for the following unit/s in the Faculty of IT;

  • FIT2006 - Business process modelling and workflow

Mark teaches the following unit/s in the Faculty of IT;

  • FIT2006 - Business process modelling and workflow
  • FIT3022 - Intelligent decision support systems

Activities

Affiliations with research centres

Research Centre Director
CTI-Monash Centre for Optimisation in Travel, Transport and Logistics
Faculty of Information Technology, Monash University

Faculty academic committee

Member
Faculty Research Committee
Faculty of Information Technology, Monash University

Faculty executive committee

Member
Senior Leadership Team Professoriate Group
Faculty of Information Technology, Monash University

Visiting professorships, fellowships, or other appointments

Fellow
NICTA
National ICT Australia (NICTA)

Postgraduate Research Supervisions

Current Supervision

Program of Study:
(DOCTORATE BY RESEARCH).
Thesis Title:
Assessing The Transportation Network Performance By A New Methodology.
Supervisors:
Sarvi, M (Main), Wallace, M (Associate).
Program of Study:
(DOCTORATE BY RESEARCH).
Thesis Title:
Hybrid algorithms for the depot placement problem.
Supervisors:
Wallace, M (Main), Muhandiramge, R (Associate).
Program of Study:
(DOCTORATE BY RESEARCH).
Thesis Title:
Optimising Business Rules.
Supervisors:
Wallace, M (Joint-co), Webb, G (Joint).

Completed Supervision

Student:
Mears, C.
Program of Study:
Automatic symmetry detection and dynamic symmetry breaking for constraint programming. (PHD) 2009.
Supervisors:
Garcia De La Banda, M (Joint-Co), Wallace, M (Joint).
Student:
Rafeh, R.
Program of Study:
The modelling language Zinc. (PHD) 2008.
Supervisors:
Marriott, K (Main), Garcia De La Banda, M (Associate), Wallace, M (Associate).