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 Tintoon 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.
Projects
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
AMPL: Direct Solver Interfaces and Automatic Reformulations
Belov, G., Stuckey, P. & Wallace, M.
15/12/19 → 15/06/20
Project: Research
Research Output
Logistics optimization for a coal supply chain
Belov, G., Boland, N. L., Savelsbergh, M. W. P. & Stuckey, P. J., 14 Jan 2020, In : Journal of Heuristics. 26, 2, p. 269–300 32 p.Research output: Contribution to journal › Article › Research › peer-review
1
Citation
(Scopus)
An investigation into prediction + optimisation for the knapsack problem
Demirović, E., Stuckey, P. J., Bailey, J., Chan, J., Leckie, C., Ramamohanarao, K. & Guns, T., 2019, Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 16th International Conference, CPAIOR 2019 Thessaloniki, Greece, June 4–7, 2019 Proceedings. Rousseau, L-M. & Stergiou, K. (eds.). Cham Switzerland: Springer, p. 241-257 17 p. (Lecture Notes in Computer Science; vol. 11494 ).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
1
Citation
(Scopus)
Branch-and-cut-and-price for multi-agent pathfinding
Lam, E., Bodic, P. L., Harabor, D. D. & Stuckey, P. J., 2019, Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence. Kraus, S. (ed.). Marina del Rey CA USA: Association for the Advancement of Artificial Intelligence (AAAI), p. 1289-1296 8 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
Open Access
File
2
Citations
(Scopus)
Compiling conditional constraints
Stuckey, P. J. & Tack, G., 2019, Principles and Practice of Constraint Programming : 25th International Conference, CP 2019 Stamford, CT, USA, September 30 – October 4, 2019 Proceedings. Schiex, T. & de Givry, S. (eds.). Cham Switzerland: Springer, p. 384-400 17 p. (Lecture Notes in Computer Science ; vol. 11802 ).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
Compiling CP subproblems to MDDs and d-DNNFs
de Uña, D., Gange, G., Schachte, P. & Stuckey, P. J., Jan 2019, In : Constraints. 24, 1, p. 56-93 38 p.Research output: Contribution to journal › Article › Research › peer-review
4
Citations
(Scopus)
Prizes
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)