Stuckey, Peter J., National ICT Australia and the University of Melbourne, Australia