Accepting PhD Students

PhD projects

Development of high performance discrete optimization solving technology
Development of high-level modelling languages for discrete optimization
Multi-agent path finding problems and extensions
Hybrid approaches to solving discrete optimization

1986 …2024

Research activity per year

Personal profile


Professor Peter J. Stuckey is a Professor in the Faculty of Information Technology at Monash University, and project leader in the Data61 CSIRO laboratory. Peter Stuckey is a pioneer in constraint programming, the science of modelling and solving complex combinatorial problems. 

His research interests include: discrete optimization; programming languages, in particular declarative programming languages;  constraint solving algorithms; bioinformatics; and constraint-based graphics.
He enjoys problem-solving in any area, having publications in e.g. databases, timetabling, and system security, and working with companies such as Oracle and Rio Tinto on problems that interest them.

Peter Stuckey received a B.Sc and Ph.D both in Computer Science from Monash University in 1985 and 1988 respectively.
In 2009 he was recognized as an ACM Distinguished Scientist. In 2010 he was awarded the Google Australia Eureka Prize for Innovation in Computer Science for his work on lazy clause generation. He was awarded the 2010 University of Melbourne Woodward Medal for most outstanding publication in Science and Technology across the university. In 2019 he was elected as a Fellow of the Association for the Advancement of Artificial Intelligence.

Expertise related to UN Sustainable Development Goals

In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):

  • SDG 3 - Good Health and Well-being
  • SDG 7 - Affordable and Clean Energy
  • SDG 11 - Sustainable Cities and Communities
  • SDG 12 - Responsible Consumption and Production

Education/Academic qualification

Computer Science, Ph.D., On the Foundations of Constraint Logic Programming, MONASH UNIVERSITY

Award Date: 21 Sept 1988

Computer Science, B.Sc (Hons), MONASH UNIVERSITY

Award Date: 1 Mar 1985

Research area keywords

  • Constraint Programming
  • Discrete Optimization
  • Programming Languages
  • Logic Programming
  • Path Planning
  • Program Analysis and Transformation
  • Bioinformatics

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • Optimization of the Storage Location Assignment Problem using nested annealing

    Oxenstierna, J., van Rensburg, L. J., Stuckey, P. J. & Krueger, V., 2024, 11th International Conference, ICORES 2022, Virtual Event, February 3–5, 2022, and 12th International Conference, ICORES 2023, Lisbon, Portugal, February 19–21, 2023 Revised Selected Papers. Liberatore, F., Wesolkowski, S., Demange, M. & Parlier, G. H. (eds.). Cham Switzerland: Springer, p. 220-244 25 p. (Communications in Computer and Information Science; vol. 1985).

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

  • Risk-limiting audits for condorcet elections

    Blom, M., Stuckey, P. J., Teague, V. & Vukcevic, D., 2024, Financial Cryptography and Data Security - FC 2023 International Workshops: Voting, CoDecFin, DeFi, WTSC Bol, Braˇc, Croatia, May 5, 2023 Revised Selected Papers. Essex, A., Matsuo, S., Kulyk, O., Gudgeon, L., Klages-Mundt, A., Perez, D., Werner, S., Bracciali, A. & Goodell, G. (eds.). Cham Switzerland: Springer, p. 79-94 16 p. (Lecture Notes in Computer Science; vol. 13953).

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

  • A constraint programming solution to the guillotine rectangular cutting problem

    Polyakovskiy, S. & Stuckey, P. J., 2023, Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling 2023. Koenig, S., Stern, R. & Vallati, M. (eds.). 1 ed. Palo Alto CA USA: Association for the Advancement of Artificial Intelligence (AAAI), Vol. 33. p. 352-360 9 p.

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

    Open Access
  • Adaptively Weighted Audits of Instant-Runoff Voting Elections: AWAIRE

    Ek, A., Stark, P. B., Stuckey, P. J. & Vukcevic, D., 2023, Electronic Voting: 8th International Joint Conference, E-Vote-ID 2023, Proceedings. Volkamer, M., Duenas-Cid, D., Rønne, P., Ryan, P. Y. A., Budurushi, J., Kulyk, O., Rodriguez Pérez, A. & Spycher-Krivonosova, I. (eds.). 1st ed. Cham Switzerland: Springer, p. 35-51 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14230 LNCS).

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

    Open Access
  • A first approach to risk-limiting audits for single transferable vote elections

    Blom, M., Stuckey, P. J., Teague, V. & Vukcevic, D., 2023, Financial Cryptography and Data Security, FC 2022 International Workshops - CoDecFin, DeFi, Voting, WTSC Grenada, May 6, 2022 Revised Selected Papers. Matsuo, S., Gudgeon, L., Perez Hernandez, D., Werner, S., Klages-Mundt, A., Haines, T., Essex, A., Bracciali, A. & Sala, M. (eds.). Cham Switzerland: Springer, p. 366-380 15 p. (Lecture Notes in Computer Science ; vol. 13412).

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