Peter Stuckey

Professor

Professor, Department of Data Science & AI

EmailPeter.Stuckey@monash.edu

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

Research activity per year

If you made any changes in Pure these will be visible here soon.

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.

Education/Academic qualification

Computer Science, Ph.D., MONASH UNIVERSITY

Award Date: 21 Sep 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

Network

Recent external collaboration on country level. Dive into details by clicking on the dots or

2 Finished
4 Active

AMPL 2: New AMPL-Gurobi Solver Interface
Belov, G., Stuckey, P. & Wallace, M.
AMPL Optimization Inc.
1/03/21 → 31/08/21
Project: Research
Virtual Power Plant Optimisation Project - Stage 1
Liebman, A., Stuckey, P., de Nijs, F., Salehi, M. & Bergmeir, C.
1/08/20 → 30/06/21
Project: Research
Modelling, synthesis and testing of potential agents against COVID-19 main protease
Konagurthu, A., Lesk, A. M., Garcia De La Banda, M., Stuckey, P., Allison, L. & Abramson, D.
15/07/20 → 31/05/21
Project: Research
Improved Constraint Reasoning for Robust Multi-agent Path Planning
Stuckey, P., Harabor, D., Le Bodic, P., Gange, G. & Koenig, S.
1/01/20 → 31/12/22
Project: Research
Scalable Parallelization of Learning Solvers
Gange, G. & Stuckey, P.
30/03/20 → 29/03/21
Project: Research

Aggregation and garbage collection for online optimization
Ek, A., Garcia de la Banda, M., Schutt, A., Stuckey, P. J. & Tack, G., 2020, 26th International Conference, CP 2020 Louvain-la-Neuve, Belgium, September 7–11, 2020 Proceedings. Simonis, H. (ed.). Cham Switzerland: Springer, p. 231-247 17 p. (Lecture Notes in Computer Science ; vol. 12333 ).
Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

Open Access
File
Bounded suboptimal path planning with Compressed Path Databases
Zhao, S., Chiari, M., Botea, A., Gerevini, A. E., Harabor, D., Saetti, A. & Stuckey, P. J., 2020, Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling. Christopher Beck, J., Buffet, O., Hoffmann, J., Karpas, E. & Sohrabi, S. (eds.). Palo Alto CA USA: Association for the Advancement of Artificial Intelligence (AAAI), p. 333-341 9 p. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS; vol. 30).
Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

Open Access
File
Computer modeling of a potential agent against SARS-Cov-2 (COVID-19) protease
Lesk, A. M., Konagurthu, A. S., Allison, L., Garcia de la Banda, M., Stuckey, P. J. & Abramson, D., Dec 2020, In : Proteins: Structure, Function and Bioinformatics. 88, 12, p. 1557-1558 2 p.
Research output: Contribution to journal › Article › Other › peer-review
Computing optimal decision sets with SAT
Yu, J., Ignatiev, A., Stuckey, P. J. & Le Bodic, P., 2020, Principles and Practice of Constraint Programming: 26th International Conference, CP 2020 Louvain-la-Neuve, Belgium, September 7–11, 2020 Proceedings. Simonis, H. (ed.). Cham Switzerland: Springer, p. 952-970 19 p. (Lecture Notes in Computer Science ; vol. 12333).
Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
Core-guided and core-boosted search for CP
Gange, G., Berg, J., Demirović, E. & Stuckey, P. J., 2020, Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 17th International Conference, CPAIOR 2020 Vienna, Austria, September 21–24, 2020 Proceedings. Hebrard, E. & Musliu, N. (eds.). Cham Switzerland: Springer, p. 205-221 17 p. (Lecture Notes in Computer Science ; vol. 12296 ).
Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

1 Citation (Scopus)

Fellow of the Association for the Advancement of Artificial Intelligence
Stuckey, Peter (Recipient), 31 Jan 2019
Prize: Election to learned society
Google Australia Eureka Prize for Innovation in Computer Science
Stuckey, Peter (Recipient), 2010
Prize: Prize (including medals and awards)
University of Melbourne Woodward Medal in Science and Technology
Stuckey, Peter (Recipient), 2011
Prize: Prize (including medals and awards)