Prof. Peter J. Stuckey is a Professor in the Department of Computing and Information Systems in the University of Melbourne, and project leader in the National ICT Australia Victoria laboratory. Peter Stuckey is a pioneer in constraint programming, the science of modelling and solving complex combinatorial problems.

He enjoys problem solving in any area, having publications in e.g. databases, timetabling, and system security.

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.

Website: https://research.monash.edu/en/persons/peter-stuckey

Google Scholar profile: http://scholar.google.com/citations?user=tvFekxwAAAAJ

ResearchGate profile: http://www.researchgate.net/profile/Peter_Stuckey/