| Name |
Degree |
Title |
Date Awarded |
| Ebtesam Alghamdi |
Ph.D. |
Effectiveness of Project-Based Computer Science and Information Technology Courses in the First and Final Year of University in Terms of Students' Readiness, Attitudes and Academic Achievements. |
July, 2022
|
| Reza Soltanpoor |
Ph.D. |
An Integrated Framework For Learning Analytics. |
March, 2019
|
| 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 |
| Tawfeeq Alsanoosy |
Ph.D. |
Cultural Influences on Requirements Engineering Activities. |
March, 2021
|
| Jessica Villicana |
Ph.D. |
BDI Player Modelling for Interactive Narratives. |
April, 2019
|
| Omid Aghili |
Ph.D. |
Journalists' Information Seeking and Behaviour on Social Media. |
March, 2019
|
| Nic Velissaris |
Ph.D. |
Making a Choice: The Melete Effect and Establishing a Poetics for Choice-Based Narratives. |
March, 2018
|
| Yoosef Abushark |
Ph.D. |
A Systematic Approach for Detecting Faults in Agent Designs. |
June, 2017
|
| 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 |