Program Leader

Biography - Professor Peter J Stuckey

Previous Positions

Prof Peter J. Stuckey was a Postdoctoral Research Fellow at IBM T.J. Watson research center from 1988-1989. He then moved to an academic position in the Department of Computer Science and Software Engineering at the University of Melbourne where he became a Professor in 2003.


Qualifications

In 1985, Professor Stuckey graduated from Monash University with a Bachelor of Science (Hons) in Computer Science. He then completed his PhD in Computer Science in 1988, also at Monash University.


Research Interests

Professor Stuckey is primarily interested in programming languages and constraints. He has worked in areas such as: logic programming, program analysis, constraint programming, constraint-based graphics, functional programming, bioinformatics, and computer science education.


Research Activities

Professor Stuckey is currently engaged in research on the following topics: multiple sequence and structural alignment for bioinformatics, constraint programming language design and development, constraint solving techniques for finite integer and set domains, adaptive layout of diagrams, user programmable type systems, debugging of functional and logic programs, optimising compilation of rule based languages, resource usage analysis.

Within NICTA Professor Stuckey leads the G12 Constraint Programming Platform project.

Publications

Professor Stuckey has published 5 books, over 50 book chapter and journal articles, and over 100 conference articles. Publications for Professor Stuckey can be viewed and downloaded here.

Awards

• Best Student Paper CP2007 (with Olga Ohrimenko)
• Best Student Paper PRICAI 2006 (with Rafiq Muhammad)
  
• Winners Constraint Modelling Challenge 2005 (with Maria Garcia de la Banda)
  
• Winners International Prolog Programming Competition 2004 (with Vitaly Lagoon and Bart Demoen)
• Winners International Prolog Programming Competition 2003 (with Vitaly Lagoon and Christian Schulte)
• Winners International Prolog Programming Competition 2002 (with Kostis Sagonas and Christian Schulte)
• Best Student Paper 13th Australasian Database Conference 2002 (with Inga Stizmann)
  
• Winners International Prolog Programming Competition 1997 (with Lee Naish and Peter Schachte)
• Winners International Prolog Programming Competition 1995 (with Tom Conway and Fergus Henderson)
• Winners International Prolog Programming Competition 1994 (with Fergus Henderson)