Governor's Prize

Jeremy Kong (MEng4), Symbolic Model Checking for Linear Dynamic Logic Supervisor: Prof. Alessio Lomuscio

The Centenary Prize

George Steed (MEng4), A Principled Design of Capabilities in Pony, Supervisor: Prof. Sophia Drossopoulou

Departmental Prizes for Excellence

Robert Zhou (MEng4), Query Analyzer for Apache Pig, Supervisor: Dr Peter McBrien
Sinduran Sivarajan (BEng3), Bird Sound Classification, Supervisor: Dr.Björn Schuller
Dan Danaila (JMC MEng4), Enhancing Facebook’s RocketSpeed Publish/Subscribe System, Supervisor: Dr. Peter Pietzuch
Yordan Chaparov (JMC MEng4), Massively Parallel Data Management on Neuromorphic Hardware, Supervisor: Dr. Thomas Heinis
Karl Chan (JMC BEng3), Active Delay Warning Transport App , Supervisor: Dr. Peter McBrien

IBM Project Prize

Jeremy Kong (MEng4), Symbolic Model Checking for Linear Dynamic Logic , Supervisor: Prof. Alessio Lomuscio

ARM Project Prize

Preeya Joshi, MajorKey: Recovering cryptographic data from applications , Supervisor: Dr. Emil LUPU

Microsoft Prize

Conrad Watt (MEng4), A Logic for Proving Total Correctness of Blocking Algorithms, Supervisor: Prof. Philippa Gardner

The Winton Capital Applied Undergraduate Project Prize

Nicolas Prettejohn(UG), Phishing Website Identification through Visual Clustering, Supervisor: Dr. Ben Glocker
Oliver Grubin(MSc), Jake Cracknell (UG)

New Voice Media Prize

Adrian Draghici (MEng4), Cloud computing for big data experiments, Supervisor: Dr. Jonathan Passerat-Palmbach

The Corporate Partnership Programme Awards

Luke Cheeseman(MEng4), Values as Type Parameters Efficient, flexible containers in Pony, Supervisor: Prof. Sophia Drossopoulou
Stanislav Dragiev (MEng4), An Abductive-Inductive Algorithm for Probabilistic Inductive Logic Pr, Supervisor: Dr Alessandra Russo
Kaho Sato (MEng4), Automatic Verification of Teleo-reactive Programs Using a Model Checker, Supervisor: Prof. Alessio Lomuscio
Alan Vey (MEng4), Value Chain Applied to the UK’s Independent Film Industry, Supervisor Prof: William Knottenbelt
Niklas Steidl (MEng4), A Time Travelling Debugger for Python, Supervisor: Dr. Robert Chatley

Donald Davies Memorial Prize

Brian Liu (JMC4), On overlapping community-based networks, Supervisor: Dr Marc P. Deisenroth
Yong L. Loh (JMC4)

Formicary Software Engineering Prizes

The top students in Comp1 and Comp2: Panayiotis Panayiotou (Comp1) and Jan Matas (Comp2).

The Adrian Israel Memorial Prize

Fangyi Zhou (Comp1)

The Gloucester Research Prizes

MEng3:Ilija Radosavovic, David Pollak, Piotr Chabierski
Comp2: Radu Szasz, Giulio Jiang, Michael Carneciu>
Comp1: Myles Lee, Emanuele Rossi, Thi Nguyen.

BlackRock Prize

Kerb.it: Thomas Szyszko, Daniel Grumberg, Saurav Mitra, Amin Karamlou, Paul Benn Darias
Cardspark: Martin Xu, William Aboh, Glen Rodgers, Leanne Lyons

The Olav Beckmann Project Prize

Louis Blin, Giulio Jiang, Saturnin Pugnet

The IBM 2nd Year Group Project Prize

Elliot Greenwood, James Lane, Michael Radigan, Paul Lietar

The Palantir Forward Group Project Prize

OpenRoomAlive: Ilija Radosavovic, Piotr Chabierski, Qiao Han, Nandor Licker, Michal Sienkiewicz

The David Howarth Group Project Prize

Plinius Bringing Transparency to Product Provenance: Georgi Ivanov, Slavyan Gradev, Ronan Kumar, Rad Ploshtakov, David Pollak, Henry Young.

Governor's Prizes
MEng Computing: Christos Karamanos, A Spatio-Temporal Framework for the Modelling and Analysis of Biological and Socio-Technological Epidemics , Supervisor: William Knottenbelt

BEng Computing: Andrej Maris, Implementation and Study of Cascaded-Regression Methods for Facial Feature Points Detection, Supervisor: Stefanos Zafeirou

MEng JMC: Alina Draganescu, Uncertainty Quantification of Epidemic Phenomena and the Parallel Simulator Tool,  Supervisor: William Knottenbelt
BEng JMC: JMC board to decide

The Centenary Prize
Joshua Lind (MEng), Betting on the Bitcoin Blockchain,  Supervisor: William Knottenbelt

Departmental Prize for Excellence
MEng Computing, Simon Stuckemann, Vignelli - Automated Design Guidance for Developers, Supervisor: Robert Chatley
MEng Computing, Arthus Spychaj, Loupe - Discovering the Impact of Program Patches,  Supervisor: Sophia Drossopoulou
MEng Computing, Mihai Condur 
MEng Computing, Michal Sipko, Machine Learning for the Prediction of Professional Tennis Matches, Supervisor: William Knottenbelt
MEng Computing, Hector Dearman, Exploring Optimisations for the Local Assembly phase of Finite Element Methods on GPUs, Supervisor: Paul H. J. Kelly
MEng Computing, Le Hoang, Optimally Solving a Rubik's Cube Using Vision and Robotics,Supervisor: Andrew Davison

IBM Project Prize
Michal Srb (MEng), Haskell-Like S-Expression-Based Language Designed for an IDE Supervisor: Susan Eisenbach.

BAe Prize for Technical Innovation
Thomas Kaplan (BEng), Optimising Bisulfite Sequencing Analysis,  Supervisors: James Arram, Wayne Luk, Peter Rice

The Department of Computing Corporate Partnership Programme Project Prize
Paul Colea (MEng), Generalizing Loop-Invariant Code Motion in a Real-World Compiler,  Supervisor: Fabio Luporini

The Winton Capital Applied Undergraduate Project Prize
Jake Cracknell (BEng), Simulating and Optimising a Delivery Network of Autonomous Courier Agents,  Supervisor: Krysia Broda

The Corporate Partnership Programme Awards (Departmental Awards for Excellence)
George Nishimura (MEng), Déjà Vu: Classification of Memory Using Eye Movements,  Supervisor: Aldo Faisal
Thomas Przepiorka (MEng), Opportunistic Networking in the London Underground, Supervisor: Julie McCann
Oliver Jones (MEng), Gatekeeper: Rebuilding Privacy for Online Social Networks 
Lin Koh (MEng), Stealthy host monitoring capabilities in a Honeypot, Supervisor: Sergio Maffeis
Kenneth Lindroos (BEng), EveryPay - A Secure Mobile Payment Service using Bitcoin for Developing Countries, Supervisor: Anandha Gopalan

The Donald Davies Memorial Prize
Funded by Farncombe Technology Ltd and awarded annually for the JMC/ Computing student who produces the best final year project.
Miten Mistry (MEng JMC), Increasing Energy Efficiency in Industrial Plants: Optimising Heat Exchanger Networks,  Supervisor: Ruth Misener
Alina Draganescu (MEng JMC), Uncertainty Quantification of Epidemic Phenomena and the Parallel Simulator Tool,  Supervisor: William Knottenbelt
Max de Werd (MEng JMC)

Formicary Engineering Prize
There are two prizes awarded for excellent end of year examination performances in the Software Engineering domain. One prize is awarded to a first year student and the second is awarded to a second year student.
Radu Szasz (Comp1)
Piotr Chabierski (Comp2)

The Adrian Israel Memorial Prize 
Saurav Mitra (Comp1).

The Gloucester Research Prizes 
JMC: JMC Board to decide (JMC2); Funded by Maths: JMC Board to decide (JMC1)
MEng3: Jeremy Kong, Luke Cheeseman, Kaho Sato
Comp2: Mihai Popa, Nandor Licker, Adam Wiles
Comp1: Jan Matas, Giulio Jiang, Hanou Chen

The Morgan Stanley IT Prize 
Radu Szasz
Giulio Jiang
Kai Du
Feroz Jilla
Benjamin Egelund-Muller
Jan Matas
Razvan Certezeanu
Royson Lee
Hongjiang Liu
Sebastian Ottl
Andreea Kevorchian
Saurav Mitra

BlackRock Prize
Chad Fallotin, Adrian Rothan, Charles Roelli, Christopher Love, Daniel Clay, Max Rasmusen (Comp2)

The Olav Beckmann Project Prize
Nandor Licker, Piotr Chabierski, Ilija Radosavovic, Mihai Popa

The IBM 2nd Year Group Project Prize 
Sacha Cohen-Scali, Roxana Ursu, Michael Akintunde, Nathan Patel

The Palantir Forward Group Project Prize 
Kenneth Lindroos, Cedric Coole, Alberto de Capitani, Andrej Maris, Tomas Virgl, Zylka Kacper.

The David Howarth Group Project Prize
James Carr, Benjamin Chin, Ainsley Escorce-Jones, Preeya Joshi, Kaho Soto, Conrad Watt

Henry Johnson Memorial Prize 
This year's winner: To be confirmed.

Distinguished Projects
Christos Karamanos (MEng), A Spatio-Temporal Framework for the Modelling and Analysis of Biological and Socio-Technological Epidemics,  Supervisor: William Knottenbelt
Joshua Lind (MEng), Betting on the Bitcoin Blockchain,  Supervisor: William Knottenbelt
Lin Koh (MEng), Stealthy host monitoring capabilities in a Honeypot,  Supervisor: Sergio Maffeis
Michal Sipko (MEng), Machine Learning for the Prediction of Professional Tennis Matches,  Supervisor: William Knottenbelt 
Sher Khan (MEng), A Comparative Study of PHP Dialects, Supervisor: Sergio Maffeis
Jake Cracknell (BEng), Simulating and Optimising a Delivery Network of Autonomous Courier Agents,  Supervisor: Krysia Broda
Oana Cocarascu (MEng), A framework for modelling and reasoning about Lone Actor Terrorism,  Supervisor: Dalal Alrajeh
Paul Colea (MEng), Generalizing loop-invariant code motion in a real-world compiler, Supervisor: Fabio Luporini 
Thomas Kaplan (BEng), Optimising Bisulfite Sequencing Analysis,  Supervisor: Wayne Luk 
Hector Dearman (MEng), Exploring Optimisations for the Local Assembly phase of Finite Element Methods on GPUs, Supervisor: Paul Kelly
Oliver Myerscough (MEng), Distributed Virtual Time Execution of Programs,  Supervisor: Anthony Field 
Andrei Antonescu (MEng), Efficient Task Placement for Stream Processing Pipelines,  Supervisor: Peter Pietzuch 
Sabin Bhattarai (BEng), Programming camera and lighting systems for controlled reflectance acquisition, Supervisor: Abhijeet Ghosh
Le Hoang (MEng), Optimally Solving a Rubik's Cube Using Vision and Robotics,  Supervisor: Andrew Davison 
Kenneth Lindroos (MEng), EveryPay - A Secure Mobile Payment Service using Bitcoin for Developing Countries, Supervisor: Anandha Gopalan
Oliver Jones (MEng), Gatekeeper: Rebuilding Privacy for Online Social Networks, Supervisor: Daniele Sgandurra 
Thomas Przepiorka (MEng), Opportunistic Networking in the London Underground, Supervisor: Julie McCann 
George Nishimura (MEng), Déjà Vu: Classification of Memory using Eye Movement, Supervisor: Aldo Faisal 
Simon Stuckemann (MEng), Vignelli — Automated Design Guidance for Developers , Supervisor: Robert Chatley
Michal Srb (MEng), Haskell-Like S-Expression Based Language with an IDE,  Supervisor: Susan Eisenbach 
Thomas Rooney (MEng), Automated Test Generation through Runtime Execution Trace Analysis ,  Supervisor: Alastair Donaldson 
Arthur Spychaj (MEng), Loupe - Discovering the Impact of Program Patches,  Supervisor: Sophia Drossopoulou 
Alina Draganescu (MEng), Uncertainty Quantification of Epidemic Phenomena and the Parallel Simulator Tool, Supervisor: William Knottenbelt 
James Cumming (MEng), An Investigation into the Use of Reinforcement Learning Techniques within the Algorithmic Trading Domain, Supervisor: Dalal Alrajeh
Miten Mistry (MEng), Increasing Energy Efficiency in Industrial Plants: Optimising Heat Exchanger Networks, Supervisor: Ruth Misener

Governor's Prize
BEng Computing: Charlie Hothersall-Thomas, BrowserAudit: A web application that tests the security of browser implementations, Supervisor: Sergio Maffeis.

• MEng Computing: Petr Cermak, A Model Checker for Strategy Logic, Supervisor: Alessio Lomuscio.
• BEng Joint Maths and Computing: Georgios Chalivopulos 
• MEng Joint Maths and Computing: Jun Lim, Rapid Evaluation of Permutation Entropy for Financial Volatility Analysis - A Novel Hash Function using Feature-Bias Divergence, Supervisor: Wayne Luk.

The Centenary Prize
Mihaela Rosca (MEng), Networks with emotions: An investigation into deep belief nets and emotion recognition, Supervisor: Abbas Edalat

The Departmental Prize for Excellence
Wael Aljeshi (£200), Grant Hewitt (£200) and Owen Davies (£200).

IBM Project Prize
Petr Cermak (MEng), A Model Checker for Strategy Logic, Supervisor: Alessio Lomuscio.

Microsoft Research Prize 
Niklas Hambuechen (MEng), HouseScan: Building-scale interior 3D reconstruction with KinectFusion, Supervisor: Andrew Davison.

The BAE Systems Applied Intelligence Prize for Technical Innovation
James Targett (MEng), Accelerating FPGA Simulations With FPGAs and The Virtualised Dataflow Graph Machine, Supervisor: Wayne Luk.

The Arm Project Prize
Bartosz Wozniak (MEng), GiMMiK - Generating Bespoke Matrix Multiplication Kernels for Various Hardware Accelerators; Applications in High-Order Computational Fluid Dynamics, Supervisor: Paul Kelly.

Winner of the Winton Capital Applied Undergraduate Project Prize
Peter Hamilton (MEng), NoteEd: An Interactive Manuscript Tutor for Fundamental Music Theory, Supervisor: Robert Chatley.

Winner of the Corporate Partnership Programme Award
James Webb (MEng), Structured Procedural Worlds with Data Inference, Supervisor: Abhijeet Ghosh.
Christopher Bowles (MEng), Machine learning for the automatic extraction and classifcation offoetal features in-utero, Supervisor: Bernhard Kainz.
Mathew Phillips (MEng), TLSFilter: An Application-Level Firewall for Transport Layer Security, Supervisor: Jeremy Bradley.
Giorgos Flourentzos (MEng), A Toolkit for Exploring Argumentation Logic, Supervisor: Krysia Broda and Francesca Toni
Jonathon Marks (MEng), Speculative Execution, Supervisor: Alexander Wolf.
Sarah Tattersall (MEng), PIPE — The Great Re-Plumbing, Supervisor: Will Knottenbelt
Charlie Hothersall-Thomas (BEng), BrowserAudit: A web application that tests the security of browser implementations, Supervisor: Sergio Maffeis.

Donald Davies Memorial Prize
Jun Lim (BEng), Rapid Evaluation of Permutation Entropy for Financial Volatility Analysis - A Novel Hash Function using Feature-Bias Divergence, Supervisor: Wayne Luk.
Andrei Crisan.

Formicary Engineering Prize
Nandor Licker and Jeremy Kong.

The Adrian Israel Memorial Prize
Mihai Popa

Winston Capital Mangement Prize in Computing
Ilija Radosavovic, Stanislav Dragiev and Joshua Lind.

BlackRock Prize
Luke Cheeseman

G-RESEARCH Prizes
Hector Dearman, Simon Stuckemann and Christos Karamanos (3rd Year Students).
Bora Mollamustafaoglu, Christophe Steininger and Minh Nguyen (2nd Year Students).
Piotr Chabierski, Fiona Liao, and Jinyi Shan (1st Year Students).
Jia Choo, Maciej Olejnik and Karl Chan  (Joint Maths and Computing Students)

Morgan Stanley IT Prize
Ben Brannick, Louis Chan, Nuri Cingillioglu, Jakub Grzegorek, Fiona Liao, Nandor Licker, Mihai Popa, Ilija Radosavovic, Jinyi Shan and Michal Sienkiewicz

Joint Maths and Computing Best Student in Non-Final Year Prize
3rd Year: Max deWerd.
2nd Year: Yordan Chaparov.
1st Year: Lalit Maganti.

The Olav Beckmann Project Prize
Stephen James, Bradley Pollard, Niklas Steidl and Ian Kissick.

The IBM 2nd Year Group Project Prize
Instaplan (Event management for short-term activities): Ben Lindsey, Thomas Kaplan, Finlay Curranand Louis MacKie.
Whims (Mobile strategic combat game): Constantinos Vryonides, Sher Khan, Sabin Bhattarai and Vyron Antoniadis.

The Credit Suisse Group Project Prize
A Java Debugger Suitable for Teaching: Hector Dearman, Xueqi Chen, Felix de Souza, Alina Draganescu and Kritaphat Songsri-In.

The David Howarth Group Project Prize
United personal timetable generator: Simon Stuckemann, Max deWerd, Egor Kyshtymov, Joshua Lind, Paul Rowe-White and Haixiao Su

Distinguished Projects

• Andrei Bara (MEng), DeADA: Self-adaptiv e anomaly detection dataflow architecture, Supervisor: Wayne Luk
• Bogdan Cozmaci uc (MEng), Smooth Optimisation and Computationally Robust Numerical Solutions i n Hydraulic Modelling, Supervisor: Panos Parpas.
• Ionela-Roxana Danila (MEng), On-the-fly Modelling and Prediction of Epidemic Phenomena, Supervisor: Will Knottenbelt and Marily Nika.
• Mohamed Eltuhamy (MEng), Native Calls: JavaScript - Native Client Remote Procedure Calls, Supervisor: Cristian Cadar.
• Benjamin Homer (MEng), Java Algorithms for Computer Performance Analysis, Supervisor: Giuliano Casale.
• Maxwell Popescu (MEng), Modelling Spatial Constraints on Brain Connectivity, Supervisor: Murray Shanahan.
• Thomas Wilding (MEng), Modelling and Prediction of Multiple Epidemic Phenomena, Supervisor: Will Knottenbelt and Marily Nika.

Winner of the ARM Project Prize

• Paul Grigoras (MEng), Aspect Oriented Design for Dataflow Engines, Supervisor: Wayne Luk.

Winner of the Black Rock Studio Project Prize

• Abhijit Chandgadkar (MEng), An Indoor Navigation System For Smartphones, Supervisor: William Knottenbelt.

Winner of the Corporate Partnership Programme Award

• Karol Pysniak (MEng), Global Optimisation Using Back-Tracking and Stochastic Methods, Supervisor: Panos Parpas.
• Rhea Potdar (MEng), Automatic construction of product-form solutions in stochastic networks, Supervisor: Peter Harrison.

Winner of the Detica Prize for Technical Innovation

• Heng Sok (BEng), User Mobility in IEEE 802.11 Network Environments, Supervisor: Kin Leung.

Winner of the Donald Davies Memorial Prize

• Mark Law (MSci), General Card Game Playing, Supervisor: Graham Deane.

Winner of the IBM Project Prize

• Francesco Mazzoli (MEng), Bertus: Implementing Observational Equality, Supervisor: Steffen van Bakel.

Winner of the Govenor's Prize

• Corina Ciobanu (MEng), Distributionally Robust Risk Management: The Impact of Uncertainty about Uncertainty, Supervisor: Daniel Kuhn

• Zhanar Aralbayeva (BEng)

Winners of the Microsoft Research Prize

• Marcus Mathioudakis (MEng), Satisfiability of Temporal Formulas in models of linear time, Supervisors: Peter Pietzuch.

Winner of the Winton Capital Applied Undergraduate Project Prize

• Zhanzhan He (MEng), An Integrated London Journey Planner, Supervisors: Alessandra Russo and Luke Dickens

Distinguished Projects

• Radu Baltean-Lugojan (MEng), Multiscale Models and Dimensionality reduction in the pricing and hedging of Path Dependent Financial Options, Supervisor: Panos Parpas.
• Josh Forman-Gornall (MEng), Exploring the Potential of a Novel Time Series Prediction Algorithm, Supervisor: William Knottenbelt.
• Andreea-Ingrid Funie (MEng), A Hybrid Genetic Programming-Particle Swarm Approach for Designing Trading Strategies in Software and Hardware, Superviser: Wayne Luk.
• David Haber (MEng), Large-Scale Extraction, Recognition and Prediction of Movement Primitives, Supervisor: Aldo Faisal.
• Krzysztof W. Huszcza (MEng), Learning Ecient Argumentation Strategies, Supervisor: Francesca Toni and Robert Craven.
• Lukasz Kmiecik(BEng), Cloud Centered, Smartphone Based Long-term Human Activity Recognition Solution, Supervisor: Duncan Gillies
• Christina Michael (MEng), Sentiment Analysis For Debates, Supervisor: Francesca Toni.
• George Trigeorgis (MEng), Visualising cancer under a manifold, Supervisor: Duncan Gillies.
• Oliver Wilkie (MEng), Motion stabilisation for video sequences, Supervisor: Daniel Rueckert

Winner of the ARM Project Prize

• Michael Kwan (MEng), Detouring program execution in binary applications, Supervisors: Cristian Cadar

Winner of the Black Rock Studio Project Prize

• Ryszard Kaleta (MEng), An Integrated London Journey Planner, Supervisors: Alessandra Russo and Luke Dickens.

Winner of the Detica Prize for Technical Innovation

• Eli Gutin (MEng), Dynamic interdiction games on PERT networks, Supervisor: Daniel Kuhn.

Winner of the IBM Project Prize

• Kristian Nagy (MEng), Distributing Complex Event Detection, Supervisor: Peter Pietzuch.

Winners of the Microsoft Research Prize

• Ionel Corneliu Gog (MEng), Dron: An Integration Job Scheduler, Supervisors: Peter Pietzuch.

Winner of the Winton Capital Applied Undergraduate Project Prize

• Daniel Cooke (MEng), Investigating General Equilibria in Artificial Stock Markets, Supervisor: Daniel Kuhn

Distinguished Projects

• Ka Wai Cheng (MEng), Types for Deep/Shallow Cloning, Supervisor: Sophia Drossopoulou.
• Jonathan Cheung (MEng), "Figurate": An application for rigid skeleton modelling, Supervisors: Andrew Davison and Duncan Gillies.
• Abhimanyu  Chugh (MEng), Algorithms for System Performance Analysis, Supervisor: Giuliano Casale.
• Adam Cutmore (MEng), Quantitative Models for Retirement Risk in Professional Tennis, Supervisor: William Knottenbelt.
• Jerome De Lafargue (MEng), "Flycatcher": Automatic unit test generation for JavaScript, Supervisor: Susan Eisenbach and Tristan Allwood.
• James Elford (MSci), Generic Immutability and Nullity Types for an imperative object-oriented programming language with flexible initialization, Supervisor: Sophia Drossopoulou.
• Michael Ford (BEng), An abductive reasoning system in Java, Supervisor: Alessandra Russo.
• Piotr Holc (BEng), MoovMe: A Motivational Exercise App, Supervisor: Supervisor: Krysia Broda.
• Alexander Karapetian (BEng), Optimised Kinetic Simulation Of Muscles, Supervisor: Wayne Luk.
• Matej Kohut (MEng), A unified performance query formalism, Supervisor: Jeremy Bradley
• Agnieszka Magda Madurska (MEng), A Set-by-set Analysis Method for Predicting the Outcome of Professional Singles Tennis Matches, Supervisor: William Knottenbelt.
• Ashmi Mehta (BSc), Lie Algebras and Markovian Arrival Processes, Supervisor: Peter Harrison.
• Roxana Rusitoru (MEng), Optimising Unstructured Mesh Computational Fluid Dynamics Applications on Multicores via Machine Learning and Code Transformation, Supervisor: Paul Kelly.
• Patrick Snape (MEng), A Study Of Statistical Methods For Facial Shape-from-shading, Supervisor: S. Zafeiriou.
• Kyrylo Tkachov (MEng), Accelerating Unstructured Mesh Computations using Custom StreamingArchitectures, Supervisor: Paul Kelly.
• Liam Williams(MSci), Spotting The Wisdom In The Crowds, Supervisor: William Knottenbelt.
• Stephen Wood (MEng), A Semi-Automated Segmentation of Electron Microscopy Images for 3D Reconstruction of the Nuclear Envelope, Supervisor: Daniel Rueckert,  Luis Pizarro and Lucy Collinson.

Winner of the Departmental Prize

• Andreas Markitanis (MEng), Learning mobile user behaviours, Supervisors: Alessandra Russo.
• Timothy Peter Spratt (BEng), ExactLib: Imperative exact real arithmetic in functional-­‐style C++, Supervisor: Dirk Pattinson.

Winner of the ARM Project Prize

• Matthew Potter (MEng), Anisotropic mesh coarsening and refinement on GPU architecture, Supervisors: Gerard Gorman and Paul H J Kelly

Winner of the Black Rock Studio Project Prize

• Peter Lipka (MEng), GameScripter - A Vision Based Tool for Playing Games, Supervisor: Andrew Davison.

Winner of the Detica Prize for Technical Innovation

• Raoul-Gabriel Urma (MEng), ImperialRJ: Exploring First-Class Relations in Object-Oriented Languages, Supervisor: Sophia Drossopoulou.

Winner of the IBM Project Prize

• Robert Kopaczyk (MEng), Scalable In-Memory Aggregation, Supervisor: Peter Pietzuch.

Winners of the Microsoft Research Prize

• Milen Dzhumerov (MEng), Symbolic Execution of Distributed Software, Supervisors: Peter Pietzuch and Cristian Cadar.

Winner of the Winton Capital Applied Undergraduate Project Prize

• Jan Saganowski (MEng), Investigating a Heterogeneous System for Detection of Triangular Arbitrage, Supervisor: Wayne Luk

Distinguished Projects

• Deryck Arnold (MEng), Reconfigurable Message-Traffic Filters, Supervisor: Alexander Wolf.
• Duangtida Athakravi (MEng), Learning and Discovering Norms in the Context of Multi-agent Systems, Supervisor: Alessandra Russo.
• Jannis Bulian (BSc), Exploring Canonical Axiomatisations of Representable Cylindric Algebras, Supervisor: Ian Hodkinson.
• Tiberiu Chis (MSci), Hidden Markov Models: Applications to Flash Memory Data and Hospital Arrival Times, Supervisor: Peter Harrison.
• Xinzhuo Huang (BSc), Inferring Tennis Match Progress from In-Play Betting Odds,  Supervisor: Will Knottenbelt.
• Adam Johnson (BEng), Sound Resynthesis with a Genetic Algorithm, Supervisor: Ian Phillips.
• Edgars Lazdins (MEng), Humanoid Robot Control Using Spiking Neural Networks, Supervisors:  Andreas Fidjeland and David Gamez.
• James Wozniak (MEng), Inferring Tennis Match Progress from In-Play Betting Odds, Supervisor: Will Knottenbelt.
• Wais Yarzi (MEng), AOD-Thorn: An extension of Thorn with the Aspect-oriented Programming Paradigm, Supervisor: Susan Eisenbach

Winner of the Governor's Prize

• Luke Terry (MEng), Incremental Garbage Collection Using Method Specialisation, Supervisor: Tony Field. 
• Avgoustinos Kadis (BEng), Readabix, Supervisor: Francesca Toni.

Winner of the ARM Project Prize

• Matthew Whitworth (BEng), Improving Networking, Supervisor: Naranker Dulay.

Winner of the Black Rock Studio Project Prize

• Leon Dimitriou (MEng), Surface Modeling of Impasto Paintings, Supervisor: Simon Colton.

Winner of the Centenary Prize

• Tytus Dobrzynski (MEng), Robust optimisation approach to pricing electricity swing options, Supervisor: Daniel Kuhn.

Winners of the Corporate Partnership Prizes

• Azalea Raad (MEng), Smelling of ROSES - ROles, Specification, Exploration and Scrutiny, Supervisor: Sophia Drossopoulou.
• Ignacio Solla Paula (MEng), JCThorn, extending Thorn with joins and chords, Supervisor: Susan Eisenbach

Winner of the Detica Prize for Technical Innovation

• Nicholas Ng (MEng), High performance parallel design based on session programming, Supervisor: Nobuko Yoshida.

Winner of the Departmental Prize for Excellence

• Wilhelm Kleiminger (MEng), Stream Processing in the Cloud, Supervisor: Peter Pietzuch.

Winner of the IBM Project Prize

• Caroline Anjorin (MEng), A Modelling Language for Decision Making Under Uncertainty, Supervisor: Daniel Kuhn.

Winners of the Microsoft Research Prize

• William Sonnex (MEng), Zeno: A tool for the fully automated verification of functional program properties, Supervisor: Sophia Drossopoulou.

Winner of the Winton Capital Applied Undergraduate Project Prize

• Stephen Wray (MEng), Exploring Algorithmic Trading in Reconfigurable Hardware, Supervisor: Wayne Luk

Distinguished Projects

• Saleem Allcock (MEng), Emulating Circuit-Based and Measurement-Based Quantum Computation, Supervisor: Herbet Wiklicky.
• Edward Kreiman (BEng), Using Learning to Predict Power Requirements in Mobile Devices, Supervisor: Emil Lupu.
• Maciej Kurek (MEng), Customizable Security-Aware Cache for FPGA-based Soft Processors, Supervisor: Wayne Luk.
• Jean Moschetta (BSc), Autonomous Transport Agents: Simulating warehouse operation on a bi-directional rail network, Supervisor: Krysia Broda.
• Diagoras Nicolaides(MEng), Optimal Dynamic Resource Allocation in Multi-Class Queueing Networks, Supervisor: Will Knottenbelt.
• Samir Talwar (MEng), Simplifying web-based applications through actor-oriented programming and publish/subscribe messaging, Supervisor: Alex Wolf.
• Paul Thomas (MEng), Parallel Garbage Collection, Supervisor: Tony Field.
• John Van Den Driessche (MEng), Stage: Actors for Python, Supervisor: Susan Eisenbach.
• Oliver Wright, Investment and Risk Management in Electrical Infrastructure, Supervisor: Daniel Khun

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.

Winner of the Governor's Prize

• Alisdair Johnstone (MEng), AiR: Actor inspired Ruby, Supervisor: Susan Eisenbach. 
• Peter Levchenko (BEng), Integrated Environment for Syntactic and Semantic Evaluation of OCL Constraints, Supervisor: Alessandra Russo

Winners of the IBM Project Prize

Winner of the Microsoft Project Prize

Departmental Project Prize

The Centenary Prize

Winners of the Donald Davis Prize

• Lidia Medhim(MSci), A Model Checking Tool for Modal LabelledDeductive Systems, Supervisor: Alessandra Russo and Krysia Broda
• Tristan Perryman (BSc), Runtime Compilation with NVIDIACuda as a Programming Tool, Supervisor: Paul Kelly.

Distinguished Projects

• Wei Cho (MEng), Robust Portfolio OptimizationUsing Conditional Value At Risk, Supervisor: Berc Rustem.
• Darren Brien (MEng), Performance Trees: Implementation and DistributedEvaluation, Supervisor: William J. Knottenbelt.

Winner of the Governor's Prize

• Khilan Gudka (MEng),  Implementing Atomic Sections Using Lock Inference, Supervisor: Susan Eisenbach. 

Winners of the IBM Project Prize

• Nakul Durve (MEng), CoderAider - Automatically Improving the Design Code, Supervisor: Emil Lupo.
• Alexander Lamaison (MEng), Finding what C++ Lost: Tracking Referent Objects with GCC, Supervisor: Paul Kelly.

Joint Winners of the Microsoft Project Prize

• Jiefei Ma (MEng), Distributed Abductive reasoning System and Abduction in the Small, Supervisors: Krysia Broda and Alessandra Russo.
• Mark McCormack (MEng), Volumetric representation of Spatio-temporal Saliency for Body Gesture Analysis, Supervisor: Maya Pantic. 

Departmental Project Prize

• Jonathan Dorling (BEng), Exploring the Javelin, Supervisor: Ian Harries

The Centenary Prize

• John Ayres (MEng), Implementing Stage: the Actor based language, Supervisor: Susan Eisenbach.

Distinguished Projects

• Brenton Bailey (MEng), Real Time 3D - motion tracking for interactive computer simulations, Supervisor: Tony Field.
• Ian Ballantyne (MEng), Collision Overload: reducing the impact in real-time physics, Supervisor: Tony Field.
• Peter Collingbourne (MEng), Verification Tools for Multi-core Programming, Supervisor: Paul Kelly.

Winners of the Donald Davis Prize

• Richard Hayden (MSci), Addressing the space explosion problem for PEPA models through fluid-flow approximation, Supervisor: Jeremy Bradley.
• Mark Wheelhouse (Msci), DOM: Towards a formal Specification, Supervisor: Philippa Gardner.

Winner of the Governor's Prize

• Marc Hull (MEng), Balancing simplicity and efficiency in web applications, Supervisor: Peter McBrien.

Winner of the IBM Project Prize

• Matthew Sackman (MEng), Glint, Breeding Mobile Ambients with Actors, Supervisor: Susan Eisenbach.

Joint Winners of the Microsoft Project Prize

• Francis Russell (MEng), Delayed Evaluation and Runtime Code Generation as a means to Producing High Performance Numerical Software, Supervisor: Paul Kelly.
• Steve Zymler (MEng), Simulating Biological Neural Networks to investigate the Membrane Potential Bistability phenomenon, Supervisor: Philip Leong.

Distinguished Projects

• Apurva Udeshi (BEng), Response Times in an Accident and Emergency Service Unit, Supervisor: Peter Harrison.
• Arjun Panesar (MEng), IntelliWeb: Intelligent Web Browsing System, Supervisor: Chris Hogger.
• Ashwin Venkatraman (MEng), enVisage : Face Recognition in Video, Supervisor: Stefan Rueger.
• James Matthews (BEng ), A Constraint Modelling Language for Timetables, Supervisor: Sebastian Uchitel. 
• Ekaterina Itskova (MEng), Echo: a deterministic record/replay framework for debugging multithreaded applications, Supervisor: Paul Kelly.
• Nicholas Street (MEng), Time Contours: Using isochrone visualisation to describe network travel cost, Supervisor: Naranker Dulay.
• Osemwaro Pedro (MEng), A Conductible Virtual Orchestra, Supervisor: Duncan Gillies.
• Kaura Vinay (MEng), Portfolio Opt imisation Using Value At Risk, Supervisor: Berc Rustem.

Winner of the Donald Davies Prize

• Johan Nystrom Persson (BSc), A Framework for Efficient Method Specialisation in Java, Supervisor: Andrew Cheadle.

Winner of the Governor's Prize

• Thibaut Weise (MEng),  Hand Tracking for Virtual Object Manipulation, Supervisor: Guang-Zhong Yang.

Winners of the IBM Project Prize

• Kelvin Au (MEng), Dynamics of Human Societies: Evolution of Hierarchical Groups, Supervisor: Abbas Edalat.

Joint Winners of the Microsoft Project Prize

• Gustav Andersson (BEng), Rette Sich Wer Kann,  Supervisor: Francesca Toni.
• Alexander Johnston (MEng), Classifying Persian Characters with Articial Neural Networks and Inverted Complex Zernike Moments, Supervisor: Herbert Wiklicky.

Distinguished Projects

• Abigail Lebrecht (MSci), Response Times using Analytical Methods, Supervisor: Peter Harrison.
• Ashley Brown (MEng), Optimising Transformations for Hardware Compilation, Supervisor: Wayne Luk.
• Charlambos Lazanitis (MEng), Schema Based Peer-to-Peer Data Integration, Supervisor: Peter McBrien.
• Karen Osmond (MEng), Parallel Interactive Scalable Visualisation of Ocean Currents, Supervisor: Paul Kelly.
• Milos Puzovic (BSc), Extensible Optimisation Framework for .NET Virtual Machine, Supervisor: Paul Kelly.
• Paul A. Bilokon (MSci), Visualising the Invisible: Detecting Objects in Quantum Noise Limited Images, Supervisors: Duncan Gillies and Marin van Heel.
• Richard Kirk (MEng), DAISY : Dynamic Assistive Information System, Supervisor: Sebastian Uchitel.
• Zhujin Lin (MEng), Evolving Image Filters, Supervisor: Simon Colton.

Winner of the Governor's Prize

• Matthew Hague (MEng),  Static Checkers for Tree Structures and Heaps, Supervisor: Philippa Gardner.

Joint Winners of the IBM Project Prize

• Jacob Bower (MEng), A system-on-a-chip for Audio Encoding, Supervisor: Wayne Luk.
• Tim Wood (MEng ), A Chorded Compiler for Java, Supervisor: Susan Ei senbach.

Joint Winners of the Microso ft Project Prize

• Andonis Sakatis (BEng), S mart Web Browsing Tools, Supervisor: Chris Hogger.
• Wallace Wong (BEng), Analysing Clocked Process Algebras via Stochastic Petri Nets, Supervisor: Tony Field.

Distinguished Projects

• Dorian Gaertner (MEng), Natural Algorithms for Optimisation Problems, Supervisor: Keith Clark.
• Chris January (MEng), Logrind 2: A Pr ogram Trace Framework, Supervisor: Paul Kelly.
• Paul Jolly (MEng), Simple Dependent Types: Concord, Supervisor: Sophia Drossopoulou.
• Alexander May (MEng), Web-based Image and Video Navigation, Supervisor: Stefan Rueger.
• Jayshan Raghunandan (MEng), Implementing X, Supervisor: Steffen van Bakel.
• Jaspreet Shaheed (MEng), Creating a Diplomat, Supervisor: Theo Hong.
• Joseph Wilk (MEng), Dynamic Workflow Pulling the Strings, Supervisor: Alessandra Russo.
• Philip Howson (BEng), Genetic Algorithms for Nursing Duty Rosters, Supervisor: Istvan Maros.

Project Prize Winners

• Asa Denton (MEng), A 3D Modelling and Visualisation System for Clay Pigeon Shooting, Supervisor: Tony Field.
• Mark Thomas (MEng), Y: A Successor to the X Window System, Supervisor: Daniel Rueckert.
• Alisdair Wren (MEng), Inferring Ownership, Supervisor: Sophia Drossopoulou.
• Andrew Suffield (BEng), Bounds Checking for C and C++,  Supervisor: Paul Kelly.

Distinguished Projects

• Alex Ahern (MEng), A Language for Updating Web Data, Supervisor: Philippa Gardener.
• Simon Coulson (MEng), Real Time Positioning and Motion Tracking for Simulated Clay Pigeon Shooting,
• Karl O'Keefe (MEng), Dancing Monkeys, Supervisor: Iain Phillips.
• Russell Wood (MEng), Assisted Software Comprehension, Supervisor: Susan Eisenbach.
• Rupal Gala (BEng), Operating Systems for Kids, Supervisor: Julie McCann.

Project Prize Winner

• G. Bennett (MEng), A Refactoring Code Browser for Java, Supervisor: Susan Eisenbach.
• A. Fidjeland (BEng), "Scalable Acceleration of Inductive Logic Programs, Supervisor: Wayne Luk. Not publicly available at present.

Distinguished Projects

• E.Avis, A Language for Querying Trees, Supervisor:Philippa Gardener.
• Thomas Ayles, ;Performance Modelling using Stochastic Transition Systems, Supervisor: Tony Field and Jeff Magee.
• Mark Dawson,Gait Recognition, Supervisor: Guang Zhong Yang.
• V. Jurisic, "DEJA-VU.NET: A Framework for Evolution of Component-based Systems, Supervisor: Susan Eisenbach. Available in pdf in three parts: Part 1 / Part 2 / Part 3
• P. Lal, Text Summarization, Supervisor: Stephan Rueger
  • A. Martens, Optimising Java Threads, Supervisor: Tony Field.
• D. Pandya, A Hierarch ical Location Tracking System, Supervisor: Emil Lupu.
• L. Wong, ANSES: Automatic News Summarization and Extraction System, Supervisor: Stefan Rueger.
• M. Asaria, Translating Between XML and Relational Databases, Supervisor: Peter McBrien.
• M. Ng, High-level Deisgn for High-speed FPGA Devices, Supervisor: Wayne L uk.
• D. Sturgeon, An Environment for Integrating UML and OCL, Supervisor: Alessandra Russo

Project Prize Winners (MEng)

• C. Anderson, Implementing Fickle, Supervisor: Sophia Drossopoulou.
• A. Dowsey, DirectShow TV Display with Real-Time Video Processing, Supervisor: Ian Harries.
• D. Ganesarajah, Web Service Workflow, Supervisor: Emil Lupu.

Distinguished Projects

• F. Chan, Information Collaboration on Mobile Networks, Supervisor: Jeff Magee.
• Shakil Shaikh, Distributed Version Control for Java, Supervisor: Susan Eisenbach.

Project Prize Winner (BEng)

• K. Ang, Visualisation of E-Commerce and Website Clickstreams, Supervisor: Peter Au. 

Distinguished Projects

• J. Ting, Intelligent Clickstream Analysis for Web Personalisation, Supervisor: Mustafa Ghanem.
• S. Yamada,  Large-Scale Interactive Analysis, Supervisor: Jaturon Chattratichat. 

Winner of the Project Prize

• D. Van Enckevort, Virtual Technical Lego, Supervisor: Roger Bailey.

Distinguished Projects

• A. Buckley, Ownership Types Restrict Aliasing, Supervisor: Sophia Drossopoulou.
• William Lee, Communicative Acts in Natural Language, Supervisor: Jim Cunningham.< /li>
• Chris Robertson, uCluster Visualisat ion, Supervisor : Yike Guo. Report a vailable in hard copy only (CSG Ref. 1029)
• M. Rossiter, Exploiting Idle Workstation s to Accelerate C omputation, Supervisor: Paul Kelly.
• L. Snell, Speech-only Based Interfaces for HCIs, Supervisor: Jim Cunningham.
• M. Smith, Real-time Lossless Video Compression on PIII, Supervisor: Ian Harries.
• N. Towers, Implementation of a Generalised API for Application Control by Telephony Devices, Supervisor: Peter Cornwell.
• A. Treadway, A Mobile Agent Architecture to Provide Virt ual Home Environment Services to Nomadic users, Super visor: Morris Sloman.

Winner of the Project Prize

• P. Harrison, MGB-st, Supervisor: Susan Eisenbach.

Distinguished Projects

• S. Bhudia Implementing a cyclic distributed garbage collector for a heterogeneous system with space failures, Supervisor: Susan Eisenbach.
• A. Cheadle, Incremental garbage collection for Haskell, Supervisor: Tony Field.
• T. Hansen, Parallel abstract data types for run-time fusion optimisation, Supervisor: Tony Field.

Winner of the Project Prize

• K. Howe, "An abductive theorem prover for substructural logics". Supervisor: Krysia Broda.

Winner of the Project Prize

• I. Metcalf, "Real-time inverse kinematics". Supervisor: Stefan van Bakel.

Winner of the Project Prize

• A.M Easwaran, "C.I.A. (Computational Intelligence Algorithms) for the knife change minimisation problem". Supervisor: Sophia Drossopoulou.

Joint Winners of the Project Prize

• M. Askenazi, "Alchemy and the catalyst machine". Supervisor: David Sharp.
• T-H Choo, "High-performance hybrid volume ray casting", Supervisor: Duncan Gillies.

Andersen Consulting Prize and Governors' Prize Winner

• A.J. Chung, Parallel simulation of the interaction of light with complex physical geometry, Supervisor: Tony Field.