Peter Stuckey

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 programing 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.