Projects per year
Personal profile
Biography
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):
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
-
Formal Explainability: Formal Explainability for Neuro-Symbolic Artificial Intelligence
Australian Research Council (ARC)
12/02/25 → 11/02/28
Project: Research
-
Development of OPTIMA MicroCert.: Development of OPTIMA MicroCert.
Smith-Miles, K. (Primary Chief Investigator (PCI)) & Stuckey, P. (Chief Investigator (CI))
25/11/24 → 25/11/27
Project: Research
-
HARNESS: Hierarchical Abstractions and Reasoning for Neuro-Symbolic Systems
Rezatofighi, H. (Primary Chief Investigator (PCI)), Garcia De La Banda Garcia, M. (Chief Investigator (CI)), Li, Y.-F. (Chief Investigator (CI)), Stuckey, P. (Chief Investigator (CI)), Gasevic, D. (Chief Investigator (CI)), Gutierrez, J. (Chief Investigator (CI)), Qu, L. (Chief Investigator (CI)), Ignatiev , A. (Chief Investigator (CI)), Swiecki, Z. (Chief Investigator (CI)), Vered, M. (Chief Investigator (CI)), Chen, G. (Chief Investigator (CI)), Haffari, R. (Chief Investigator (CI)) & Say, B. (Chief Investigator (CI))
20/06/23 → 20/02/27
Project: Research
-
Detecting Threats in Temporal Networks
Stuckey, P. (Primary Chief Investigator (PCI)), Betts, J. (Chief Investigator (CI)), Wilson, C. (Partner Investigator (PI)) & Dalins, J. (Chief Investigator (CI))
30/05/23 → 30/08/26
Project: Research
-
Predict‐and‐Optimise through Time at Water Recycling Treatment Plants
Stuckey, P. (Primary Chief Investigator (PCI)), Bailey, J. (Chief Investigator (CI)), Leckie, C. (Chief Investigator (CI)), Crook, J. (Partner Investigator (PI)) & Bergmann, D. (Partner Investigator (PI))
8/12/21 → 8/12/26
Project: Research
-
Efficient weighting schemes for auditing instant-runoff voting elections
Ek, A., Stark, P. B., Stuckey, P. J. & Vukcevic, D., 2025, Financial Cryptography and Data Security. FC 2024 International Workshops: Voting, DeFI, WTSC, CoDecFin, Willemstad, Curaçao, March 4–8, 2024, Revised Selected Papers. Budurushi, J., Kulyk, O., Allen, S., Diamandis, T., Klages-Mundt, A., Bracciali, A., Goodell, G. & Matsuo, S. (eds.). Cham Switzerland: Springer, p. 18-32 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14746 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Other › peer-review
-
Improving the computational efficiency of adaptive audits of IRV elections
Ek, A., Blom, M., Stark, P. B., Stuckey, P. J. & Vukcevic, D., 2025, Electronic Voting: 9th International Joint Conference, E-Vote-ID 2024, Tarragona, Spain, October 2–4, 2024, Proceedings. Duenas-Cid, D., Roenne, P., Volkamer, M., Budurushi, J., Blom, M., Rodríguez-Pérez, A., Spycher-Krivonosova, I., Castellà Roca, J. & Barrat Esteve, J. (eds.). Cham Switzerland: Springer, p. 37-53 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15014 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Other › peer-review
Open AccessFile -
PhiSiCal-Checkup: A Bayesian framework to validate amino acid conformations within experimental protein structures
Amarasinghe, P. R., Allison, L., Morton, C. J., Stuckey, P. J., de la Banda, M. G., Lesk, A. M. & Konagurthu, A. S., 2 Jan 2025, In: Proceedings of the National Academy of Sciences of the United States of America. 122, 1, 9 p., e2416301121.Research output: Contribution to journal › Article › Research › peer-review
Open AccessFile -
RLAs for 2-Seat STV Elections: Revisited
Blom, M., Stuckey, P. J., Teague, V. & Vukcevic, D., 2025, Financial Cryptography and Data Security. FC 2024 International Workshops: Voting, DeFI, WTSC, CoDecFin Willemstad, Curaçao, March 4–8, 2024 Revised Selected Papers. Budurushi, J., Kulyk, O., Allen, S., Diamandis, T., Klages-Mundt, A., Bracciali, A., Goodell, G. & Matsuo, S. (eds.). Cham Switzerland: Springer, p. 3-17 15 p. (Lecture Notes in Computer Science; vol. 14746).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research
-
A FastMap-based framework for efficiently computing top-K projected centrality
Li, A., Stuckey, P., Koenig, S. & Kumar, T. K. S., 2024, Machine Learning, Optimization, and Data Science: 9th International Conference, LOD 2023 Grasmere, UK, September 22–26, 2023 Revised Selected Papers, Part I. Nicosia, G., Ojha, V., La Malfa, E., La Malfa, G., Pardalos, P. M. & Umeton, R. (eds.). Cham Switzerland: Springer, p. 158-173 16 p. (Lecture Notes in Computer Science; vol. 14505).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
Prizes
-
Fellow of the Association for the Advancement of Artificial Intelligence
Stuckey, Peter (Recipient), 31 Jan 2019
Prize: Election to learned society
-
Finalist for the Australian Research Data Commons Eureka Prize for Excellence in Research Software
Stuckey, P. (Recipient), Tack, G. (Recipient), Dekker, J. (Recipient) & Nguyen, J. (Recipient), 2024
Prize: Other distinction
-
Google Australia Eureka Prize for Innovation in Computer Science
Stuckey, P. (Recipient), 2010
Prize: Prize (including medals and awards)
-
University of Melbourne Woodward Medal in Science and Technology
Stuckey, P. (Recipient), 2011
Prize: Prize (including medals and awards)
Activities
- 1 Editorial responsibility
-
Journal of Logic Programming (Journal)
Kimbal Marriott (Editor in chief) & Peter Stuckey (Editor in chief)
1998Activity: Publication peer-review and editorial work types › Editorial responsibility