| Student | Topic | Degree | Supervisor |
|---|---|---|---|
| Craig Anslow | Multi-Touch Table User Interfaces for Software Visualization | PhD | JamesNoble, StuartMarshall, RobertBiddle |
| Keith Cassell | Machine learning, knowledge representation and automated refactoring | PhD | PeterAndreae, LindsayGroves |
| Yi-Jing Chung | Accuracy and efficiency of hand gestures on multi-touch surfaces | MSc | StuartMarshall |
| Siva Dorairaj | Distributed Agile Projects | PhD | JamesNoble, PetraMalik |
| Constantine Dymnikov | Ownership Inference | MSc | DavidPearce, AlexPotanin |
| David Friggens | Formal Software Development | PhD | LindsayGroves |
| Michael Homer | Grace Programming Language | PhD | JamesNoble |
| Ahmed Khalifa | Ownership and Immutability | PhD | AlexPotanin, JamesNoble |
| Roman Klapaukh | Progamming Languages and Security | PhD | DavidPearce, StuartMarshall |
| Jan Larres | Performance Analysis of Mozilla Firefox | MSc | AlexPotanin |
| Paley Li | Ownership and Immutability | PhD | JamesNoble, NicholasCameron |
| Saptarshi Mukerji | Audio Gestures for Music Data | MSc | JamesNoble, AjayKapur |
| Stephen Nelson | First Class Relationships for Object Oriented Programming Languages | PhD | JamesNoble, DavidPearce |
| Arthur Protin | Programming Languages | PhD | DavidPearce |
| Neil Ramsay | Information Visualisation for Search and Rescue | MSc | StuartMarshall |
| Harsha Raja | Cloud Databases | MSc | PavleMogin |
| Allan Tabilog | Mechanical verification of linearisability of non-blocking algorithms | PhD | LindsayGroves, PetraMalik |
| Michael Waterman | Architecture in Agile Software Development | PhD | JamesNoble, GeorgeAllan |
| Student | Topic | Supervisor |
|---|---|---|
| Daniel Atkins | X10 Programming Language | AlexPotanin |
| Daniel Cope | Navigating 3D Worlds via 2D touch interfaces | StuartMarshall |
| Matthew Crisp | e-Wall: An Electronic Agile Story Wall | RashinaHoda, StuartMarshall |
| Marco Costantini | Multi-touch Real Time Strategy Games | StuartMarshall |
| Cameron Fowler | Rock Climbing Analysis with Microsoft Kinect | GeorgeAllan |
| Chris Green | Social Cloud Visualization | StuartMarshall, KrisBubendorfer |
| David Kydd | Applications of AI to games | StuartMarshall, PeterAndreae |
| Julian Mackay | Mechanised Theorem Proving in COQ | AlexPotanin, LindsayGroves |
| Tim McKenzie | Translating Whiley to JavaScript | DavidPearce |
| Felix Shi | Java Script Type Inference Project | AlexPotanin LindsayGroves |