This page lists doctoral students from the School of Computer Science who have recently graduated from the University.
| 2008 | PhD Graduate | Thesis Title |
|---|
| | Bastian, John | Reconstructing 3D Geometry from Multiple Images via Inverse Rendering |
| | Brodie-Tyrell, William | Surf: An abstract model of distributed garbage collection |
| | Chen, Yawen | Efficient embedding of Meshes and Hypercubes on a Group of the Future Network Architecture |
| | Hamid, Nor Asilah Wati Abdul | Communication Performance Measurement and Analysis on Commodity Clusters |
| | Pooley, Daniel | The Automated Synchronisation of Independently Moving Cameras |
| 2007 | PhD Graduate | Thesis Title |
|---|
| | Falkner, Nickolas | Semantically Annotated Multi-Protocol Adapter Nodes: A New Approach to Implementing Network-Based Information Systems Ontologies |
| | Menon, Catherine | A Category Theoretic Approach to Inconsistencies in Modular System Specification |
| 2006 | PhD Graduate | Thesis Title |
|---|
| | Alexander, Bradley | Compilation of Parallel Applications via Automated Transformation of BMF Programs |
| | Shen, Chunhua | Robust Visual Tracking in Image Sequences |
| 2005 | PhD Graduate | Thesis Title |
| | Myers, Andrew | Surface reconstruction from three dimensional range data |
| 2004 | PhD Graduate | Thesis Title |
|---|
| Gawley, Darren | Towards an estimation framework for some problems in computer vision |
| Jin, Yan | Compositional Verification of Component-Based Heterogeneous Systems |
| Lowry, Matthew | A New Approach to The Train Algorithm for Distributed Garbage Collection |
| 2003 | PhD Graduate | Thesis Title |
|---|
| Grove, Duncan | Performance Modelling of Message-Passing Parallel programs |
| Pope, Cheryl | Scheduling and Management of Real-Time Communication in Point-To-Point Wide Area Networks |
| 2002 | PhD Graduate | Thesis Title |
|---|
| Parashkevov, Ata | Advances in Space and Time Efficient Model Checking of Finite State Systems |
| 2001 | PhD Graduate | Thesis Title |
|---|
| Corbett, Dan | Unification and Constraints over Conceptual Structures |
| 2000 | PhD Graduate | Thesis Title |
|---|
| Falkner, Katrina | The Provision of Relocation Transparency Through a Formalised Naming System in a Distributed Mobile Object System |
| van den Hengel, Anton | Robust Estimation of Structure from Motion in the Uncalibrated Case |
| Li, Yanhua | Efficient Recursive Factorization Methods for Determining Structure from Motion |
| James, Heath | Scheduling in Metacomputing Systems |
| Lew, Kew Lin | Orthogonal Persistence, Object-Orientation and Distribution |
| Detmold, Henry | Communication in Worldwide Distributed Object Systems |
| 1999 | PhD Graduate | Thesis Title |
|---|
| | Deer, Peter | Digital Change Detection in Remotely Sensed Imagery Using Fuzzy Set Theory |
| | Dwyer, Barry | The Automatic Design of Batch Processing Systems |
| | Huang, Lin | Scheduling Tasks with Conditional and Preemptive Attributes on a Parallel and Distributed System |
| 1998 | PhD Graduate | Thesis Title |
|---|
| | Nowak, Kyzysztof | Conceptual Reasoning, Belief, Multiple Agents and Preference |
| 1997 | PhD Graduate | Thesis Title |
|---|
| | Ashenden, Peter | An Experimental System for Evaluating Cache Coherence Protocols in Shared Memory Multiprocessors |
| | Hulse, David | Store Architecture in a Persistent Operating System |
| | Engelhardt, Dean | A Generalised Execution Model for Nested Data-Parallel Computing |
