1986 …2019
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 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

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

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.

Research Output 1986 2019

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 journalArticleResearchpeer-review

Preface

Mesnard, F. & Stuckey, P. J., 2019, In : Lecture Notes in Computer Science. 11408 , p. V-VI 2 p.

Research output: Contribution to journalEditorialOtherpeer-review

Short-term planning for open pit mines: a review

Blom, M., Pearce, A. R. & Stuckey, P. J., 2019, In : International Journal of Mining, Reclamation and Environment. 33, 5, p. 318-339 22 p.

Research output: Contribution to journalArticleResearchpeer-review

Wombit: a portfolio bit-vector solver using word-level propagation

Wang, W., Søndergaard, H. & Stuckey, P. J., 2019, (Accepted/In press) In : Journal of Automated Reasoning. 40 p.

Research output: Contribution to journalArticleResearchpeer-review

An iterative approach to precondition inference using constrained Horn clauses

Kafle, B., Gallagher, J. P., Gange, G., Schachte, P., Sondergaard, H. & Stuckey, P. J., Jul 2018, In : Theory and Practice of Logic Programming. 18, 3-4, p. 553-570 18 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
File

Prizes

Fellow of the Association for the Advancement of Artificial Intelligence

Peter Stuckey (Recipient), 31 Jan 2019

Prize: Election to learned society

Google Australia Eureka Prize for Innovation in Computer Science

Peter Stuckey (Recipient), 2010

Prize: Prize (including medals and awards)

University of Melbourne Woodward Medal in Science and Technology

Peter Stuckey (Recipient), 2011

Prize: Prize (including medals and awards)