Past Students

Name Degree Title Date Awarded
Duc Pham Ph.D. Agent Protocols via Temporal Linear Logic August, 2008
Binh Tran Ph.D. Observation, Expectation and Attention Logics: A Foundation for Agent Theories October, 2005
Tatjana Lutovac Ph.D. Issues in Managing Redundancies in Proof Search August, 2005
Bunsong Chea Ph.D. Reasoning-oriented CAI Systems October, 2004
Stephen Callaghan Ph.D. Optimising Comparisons of Complex Objects by Precomputing their Graph Properties (Joint supervisor with Dr. Gerard Ellis) March, 2001
Michael Winikoff Ph.D. (Melb) Logic Programming with Linear Logic March, 1997
Wafaa Al-saggaf Ph.D. A Constructivist, Mobile and Principled Approach to the Learning of Programming April, 2014
Jian Zhang Ph.D. Enforcing Privacy via Access Control and Data Perturbation (Second supervisor) December, 2013
Dip Nandi Ph.D. A Comprehensive Framework with Design Principles for Supporting Interaction in Fully Online Courses (Second supervisor) February, 2013
Nalaka Gooneratne Ph.D. Discovery and Validation for Composite Services on the Semantic Web (Second supervisor) July, 2009
Jeff Riley Ph.D. Genetic Algorithms for Robot Soccer (Second supervisor) March, 2006
Paul Boxer Ph.D. Learning Naive Physics by Visual Observation (Second supervisor) August, 2002
Brian Lowe Ph.D. A Data Model and Query Language for Structured Document Databases (Second supervisor) December, 2000
Jason Tai Ph.D. An Architecture for Constraint Logic Programming (Second Supervisor) March, 1997
Andrew Shelton M.Sc. Shards: A System for Systems September, 2014
Simon Duff M.Sc. Maintenance Goals in Intelligent Agents February, 2010
Jennifer Sandercock M.Sc. Using Adaptation and Goal Context to Automatically Generate Individual Personalities for Virtual Characters January, 2010
Luke Trodd B.App.Sci.(Hons) Forward-chaining Rules in Lygon for Agent Systems November, 2010
Austin Wood B.App.Sc.(Hons). Efficient Evaluation of Busy Beaver Machines November, 2008
Simon Duff B.App.Sc.(Hons). Experiments in Computational Rules in Lygon November, 2003
Mohit Gupta B.App.Sc.(Hons). Agent Organisation Strategies in the Fire-Domain November, 2002
Duncan Bayly B.App.Sc.(Hons). Using Negotiation and Utility to Distribute Goals in RoboCup Rescue November, 2001
Abdullah Al-Amin B.App.Sc.(Hons). Agent-Oriented Programming in Linear Logic (Joint supervision with Michael Winikoff) November, 1999
Michael Chamberlain B.App.Sc.(Hons). Optimisation of Linear Logic Programs November, 1998
Fadia Hatem B.App.Sc.(Hons). Suitability of Electronic Voting for Large Scale Elections November, 1997
Wing Ho Wong B.App.Sc.(Hons). An Inductive Theorem Prover for Prolog Programs November, 1995
Toan Phung B.App.Sc.(Hons). A Goal-Oriented Itinerary Language for Mobile Agents (Second supervisor) November, 2002
Edith Shum B.App.Sc.(Hons). Selective Field Encryption in Real-time Environments (Second supervisor) November, 2002
Doran Moppert M.App.Sci(IT) Busy Beavers in the Lambda Calculus July, 2008
Suman Jayapathi M.App.Sci(IT) (project) An agent-based approach to non-player characters in MUDs October, 2004
Manuel Suarez M.App.Sci(IT) Simplified Agent Programming Languages October, 2004
Arindam Gangopadhyay M.App.Sci(IT) Agent Protocols in Linear Logic November, 2004
Helinna Yiu M.App.Sc.(IT) Programming Constructs for the Linear Logic Programming Language Lygon March, 1997
Yi Xiao Xu M.App.Sc.(IT) Debugging Environment Design for the Logic Programming Language Lygon March, 1995