Year 2009
Undergraduate Projects
Winner of the Governor's Prize
- Michael Hadjiyiannis (MEng), Approximate Dynamic Programming: Playing Tetris and Routing Under Uncertainty, Supervisor: Daniel Kuhn.
- Christopher Pinnick (BEng), Visualisation and Evaluation of Arguments, Supervisor: Francesca Toni.
Winner of the IBM Project Prize
- William Deacon (MEng), An Approach to Object Migration using Specialised Methods, Supervisor: Tony Field.
The Centenary Prize
- Hubert Plociniczak (MEng), JErlang: Erlang with Joins, Supervisor: Susan Eisenbach.
Winners of the Microsoft Research Prize
- Barnabas Malet (MEng), Distributed Web Crawling Using Network Coordinates, Supervisor: Peter Pietzuch.
- Andrew Jones (MEng), A Method of Bounded Model Checking for a Temporal Epistemic Logic Based on Reduced Ordered Binary Decision Diagrams, Supervisor: Alessio Lomuscio
Departmental Prize for Excellence
- Chong-U Lim (BEng), An A.I. Player for DEFCON: An Evolutionary Approach using Behaviour Trees, Supervisor: Simon Colton.
Winners of the Donald Davis Prize
- Anton Stefanek (MSci), Continuous and Spatial Extension of Stochastic pi Calculus, Supervisor: Maria Vigliotti.
- Marcel Guenther (MSci), Aggregation and Numerical Techniques for Passage Time Calculations in Large semi-Markov Models, Supervisor: Jeremy Bradley.
- Michael Herrmann (BSc), Coinductive Definitions and Real Numbers, Supervisor: Dirk Pattinson.
Distinguished Projects
- Gavin Aiken (MEng), Mobile Image Filtering For Everyday Devices, Supervisor: Simon Colton.
- Henry Bond (BEng), Data Placement and Migration Strategies for Virtualised Data Storage Systems, Supervisor: William J. Knottenbelt.
- David Birch (MSci), Unifying Procedural Graphics, Supervisor: Duncan Gillies.
- Jaspreet Deo (MEng), Modelling TB and Atherosclerosis using Multi-Agents, Supervisor: Krysia Broda
- Gemma Hagen (BEng), Agent Based Computational Economics: Exploring the Evolution of Trade Networks and Agent Behaviour, Supervisor: Abbas Edalat
- William Harrower (MEng), Searching Encrypted Data, Supervisor: Naranker Dulay.
- William Jones (MEng), Warp Speed Haskell, Supervisor: Tony Field.
- Stelios Kyprou (MEng), Simple But E ective Personal Localisation Using Computer Vision, Supervisor Andrew Davison.
- Natalia Kulesza (BSc), User Behaviour and Security in Opportunistic Networks, Supervisor: Emil Lupu
- Diana Ramchandani (MEng), Refining Labelled Transition Systems Using Scenario-Based Specifications, Supervisor: Alessandra Russo.
- Matthew Tait (BEng), Xinaos, A new compiler and runtime framework for detecting and implementing parallelism in C# programs, Supervisor: Sophia Drossopoulou.
- Jonathan Tunnicliffe (MEng), Sketchi - From Sketches to GUIs, Supervisor: Simon Colton
- Christopher Zetter (MEng), Stage#: A Truly Distributed & Scalable Language, Supervisor: Susan Eisenbach.
Past Distinguished Project Reports by Year
Last updated 14.07.10