Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Stuckey's home page

Contact

Email: pjs+123@cs.mu.oz.au
Room: 5.27
Address: 111 Barry St, Carlton 3053, AUSTRALIA
Phone: +613-8344-1341
Fax: +613-9348-1184

Peter Stuckey

Admin + Teaching

Seconded to NICTA Victoria Laboratory

My teaching commitments for 2007 are

Research + Service

My research interests include constraint programming, logic programming, deductive databases and program analysis. Other things of interest:

Constraints (postscript or PDF) electronic submissions for TPLP can be sent to pjs+tplp@cs.mu.oz.au Remember to submit name, email address and postal addresses as well as an abstract and reasonably accurate word count.


CP2008

I am program chair for The 14th International Conference on Principles and Practice of Constraint Programming in Sydney September 14-17 2008. Please submit a paper and attend!


Some invited talks


G12

This project will develop G12, a software platform for solving large scale industrial combinatorial optimisation problems. The system will use Constraint Programming (CP) to allow problems to be stated simply, and then solved efficiently. Both solution development time and computing time and scalability will be dramatically reduced.

Advanced software engineering will be used to encapsulate algorithms from several different disciplines, so they can be reused and combined freely. Program development will be accelerated by mapping low level computation back to the problem model enabling the programmer to analyse and improve algorithm behaviour.

This research will enable Australian industry to exploit resources more efficiently; it will support more efficient management of complex private and public utilities such as transportation, communication, power and water; and it will support optimal and justifiable strategic decision making and investment.

G12 is a large NICTA project, involving over 16 researchers in Melbourne, Canberra and Sydney. I am one of the chief investigators in this project.


SICstus Prolog manual. To see this page in Jive style look here!
This page, its contents and style, are the responsibility of the author and do not necessarily represent the view, policies or opinions of The University of Melbourne. DISCLAIMER Except the last sentence which is included only because it is the policy of The University of Melbourne.

Created: 19 June 1995
Last modified 21st February 2008

Maintainer: Peter Stuckey,