placeholder image

PROF Peter Stuckey


  • Combinatorial Optimization
  • Constraint Programming
  • Declarative Languages



  • Peter Stuckey is an Adjunct Professor in the School of Computing and Information Systems at The University of Melbourne and a Professor in the Faculty of Information Technology at Monash University.

    Prof Stuckey is a pioneer in constraint programming, helping to develop the semantics and one of the earliest systems. He led the G12 project, a software platform for solving large scale industrial combinatorial optimisation problems. The system uses Constraint Programming (CP) to allow problems to be stated simply, and then solved efficiently. Both solution development time and computing time and scalability can be dramatically reduced. Advanced software engineering is used to encapsulate algorithms from several different disciplines, so they can be reused and combined freely. Program development can be accelerated by mapping low level computation back to the problem model enabling the programmer to analyse and improve algorithm behaviour. This research will enable Australian industry to exploit resources more efficiently; it will support more efficient management of complex private and public utilities such as transportation, communication, power and water; and it will support optimal and justifiable strategic decision making and investment.



Member of

  • Association of Computing Machinery. Professional Membership 1988 -


Selected publications


Investigator on

Additional Grant Information

  • 2011-2013: A. Pearce and P. Stuckey, 'Making the Pilbara Blend: Agile mine scheduling through contingent planning', Linkage Grant, Australian Research Council (ARC), (ARC: $600,000; Rio Tinto: $762,732), Total $1.36M



Education and training

  • PhD, Monash University 1988
  • BSc, Monash University 1985

Awards and honors

  • Fellow of the Association for the Advancement of Artificial Intelligence, 2019
  • 2010 Google Australia Eureka Prize for Innovation in Computer Science, Australian Museum, 2010
  • 2010 Woodward Medal in Science and Technology, University of Melbourne, 2010



Available for supervision

  • Y

Supervision Statement

  • I am particularly interested in students with a strong background in discrete maths and/or programming languages (i.e. compilers, analysis, parsing)