Research Output 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
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 journal › Article › Research › peer-review
Preface
Mesnard, F. & Stuckey, P. J., 2019, In : Lecture Notes in Computer Science. 11408 , p. V-VI 2 p.Research output: Contribution to journal › Editorial › Other › peer-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 journal › Article › Research › peer-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 journal › Article › Research › peer-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 journal › Article › Research › peer-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)