Peter J. Stuckey is a Professor in the Faculty of Information Technology at Monash University, and project leader in the Data61 CSIRO laboratory.
Prof. Stuckey is a pioneer in constraint programming, the science of modeling and solving complex combinatorial problems.
With a Google Scholar h-index of 69, his research interests include: discrete optimization; programming languages, in particular declarative programming languages; constraint solving algorithms; bio-informatics; 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. Prof. 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.
Prof. Stuckey's Google Scholar profile is here.
