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.
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
-
Stemly Forecasting and Optimisation Project
Tan, C. W., Bergmeir, C., Stuckey, P. & de Nijs, F.
22/04/22 → 5/08/22
Project: Research
-
Predict‐and‐Optimise through Time at Water Recycling Treatment Plants
Stuckey, P., Bailey, J., Leckie, C., Crook, J. & Bergmann, D.
8/12/21 → 8/12/26
Project: Research
-
Spatiotemporal Object Detection/Segmentation from Multi-Spectral Time Sequence Data
Stuckey, P., Rezatofighi, H. & Meehan, A.
18/10/21 → 18/10/26
Project: Research
-
ARC Training Centre in Optimisation Technologies, Integrated Methodologies, and Applications (OPTIMA)
Smith-Miles, K., Stuckey, P., Taylor, P. G., Ernst, A., Aickelin, U., Garcia De La Banda, M., Pearce, A., Wallace, M., Bondell, H., Hyndman, R., Alpcan, T., Thomas, D. A., Anjomshoa, H., Kirley, M. G., Tack, G., Costa, A., Fackrell, M., Zhang, L., Glazebrook, K., Branke, J., O'Sullivan, B., O'Shea, N., Cheah, A., Meehan, A., Wetenhall, P., Bowly, D., Bridge, J., Faka, S., Mareels, I., Coleman, R. A. & Crook, J.
23/09/21 → 23/09/26
Project: Research
-
Optimising multi-item retail inventories
Betts, J., Stuckey, P. & Wetenhall, P.
14/09/21 → 14/09/26
Project: Research
-
Algorithm selection for Dynamic Symbolic Execution: a preliminary study
Amadini, R., Gange, G., Schachte, P., Søndergaard, H. & Stuckey, P. J., 2021, Logic-Based Program Synthesis and Transformation: 30th International Symposium, LOPSTR 2020 Bologna, Italy, September 7–9, 2020 Proceedings. Fernández, M. (ed.). Cham Switzerland: Springer, p. 192-209 18 p. (Lecture Notes in Computer Science ; vol. 12561).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
-
Integrated task assignment and path planning for capacitated Multi-Agent Pickup and Delivery
Chen, Z., Alonso-Mora, J., Bai, X., Harabor, D. D. & Stuckey, P. J., Jul 2021, In: IEEE Robotics and Automation Letters. 6, 3, p. 5816-5823 8 p.Research output: Contribution to journal › Article › Research › peer-review
6 Citations (Scopus) -
Optimising training for service delivery
Senthooran, I., Le Bodic, P. & Stuckey, P. J., 2021, 27th International Conference on Principles and Practice of Constraint Programming. Michel, L. D. (ed.). Dagstuhl Germany: Schloss Dagstuhl, Vol. 210. 15 p. 48. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 210).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
Open AccessFile -
Pairwise symmetry reasoning for Multi-Agent Path Finding search
Li, J., Harabor, D., Stuckey, P. J., Ma, H., Gange, G. & Koenig, S., Dec 2021, In: Artificial Intelligence. 301, 37 p., 103574.Research output: Contribution to journal › Article › Research › peer-review
1 Citation (Scopus) -
Planning with learned binarized neural networks benchmarks for MaxSAT evaluation 2021
Say, B., Sanner, S., Devriendt, J., Nordström, J. & Stuckey, P., 2021, MaxSAT Evaluation 2021: Solver and Benchmark Descriptions. Bacchus, F., Berg, J., Järvisalo, M. & Martins, R. (eds.). Helsinki Finland: University of Helsinki, p. 32-36 5 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter (Report) › Research
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)