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 1993 2018
Sequential precede chain for value symmetry elimination
Gange, G. & Stuckey, P. J., 2018, Principles and Practice of Constraint Programming : 24th International Conference, CP 2018 Lille, France, August 27–31, 2018 Proceedings. Hooker, J. (ed.). Cham Switzerland: Springer, p. 144-159 16 p. (Lecture Notes in Computer Science ; vol. 11008 ).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
Solver-independent large neighbourhood search
Dekker, J. J., de la Banda, M. G., Schutt, A., Stuckey, P. J. & Tack, G., 2018, Principles and Practice of Constraint Programming: 24th International Conference, CP 2018 Lille, France, August 27–31, 2018 Proceedings. Hooker, J. (ed.). Cham Switzerland: Springer, p. 81-98 18 p. (Lecture Notes in Computer Science ; vol. 11008 ).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
A novel approach to string constraint solving
Amadini, R., Gange, G., Stuckey, P. J. & Tack, G., 2017, Principles and Practice of Constraint Programming - 23rd International Conference CP 2017, Proceedings. Beck, C. (ed.). Cham Switzerland: Springer, Vol. 10416 . p. 3-20 18 p. (Lecture Notes in Computer Science; vol. 10416).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
Context-sensitive dynamic partial order reduction
Albert, E., Arenas, P., De La Banda, M. G., Gómez-Zamalloa, M. & Stuckey, P. J., 2017, Computer Aided Verification : 29th International Conference, CAV 2017 Heidelberg, Germany, July 24–28, 2017, Proceedings, Part I. Majumdar, R. & Kunčak, V. (eds.). Berlin Germany: Springer, p. 526-543 18 p. (Lecture Notes in Computer Science ; vol. 10426 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
Open Access
File
MiniZinc with strings
Amadini, R., Flener, P., Pearson, J., Scott, J. D., Stuckey, P. J. & Tack, G., 2017, Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016,Revised Selected Papers. Hermenegildo, M. V. & Lopez-Garcia, P. (eds.). Cham, Switzerland: Springer, p. 59-75 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10184 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Chapter (Book) › Research › peer-review
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)