In this section

Undergraduate archive

2015-2016

2016-2017

Academic Excellence

Governors' Prize

Awarded to an outstanding final year student in the Department in each of the following courses: MEng and BEng in Computing and JMC.

David Pollak (Computing MEng 4), Reasoning about Two-phase Locking Concurrency Control, Supervisor: Prof. Philippa Gardner
Michael Carneciu (Computing BEng 3), Optimising post-trade processing using Distributed Ledger Technology, Supervisor: Dr Anandha Gopalan
Lalit Maganti (JMC MEng 4), Verification of Feed-forward ReLU Neural Networks, Supervisor: Prof. Alessio Lomuscio
Zichen Liu (JMC BEng 3), Machine Learning for Filtering Monte Carlo Noise in Ray Traced Images, Supervisor: Dr Su-lin Lee

The Centenary Prize

Awarded annually to a final year undergraduate student for an outstanding overall performance.

Nuri Cingillioglu (Computing MEng 4), Neural Logic Framework for Digital Assistants, Supervisor: Prof. Alessandra Russo

Departmental Prizes for Excellence

Awarded to final year students for outstanding overall performance.

Adam Wiles (Computing MEng 4), Automated Creation of Infographic Event Timelines from Text, Supervisor: Prof. William Knottenbelt
Beatrix de Wilde (Computing MEng 4), Towards Automatic Verification of JavaScript Programs, Supervisor: Prof. Philippa Gardner
Fiona Liao (Computing MEng 4), Guided Exploration of Programming Challenge Solutions, Supervisor: Dr Robert Chatley
Kevin Tsui (JMC MEng 4), Learning Scheduling Preferences using Inductive Logic Programming, Supervisor: Prof. Alessandra Russo

Formicary Software 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 (counting only 2nd year marks).

Calin Farcas (Computing 1)
Samuel Ogunmola (JMC 2)

The Adrian Israel Memorial Prize

Awarded for excellence in the first year.

Aleksander Cherganski (Computing 1)

The G-Research Prize

Awarded annually to up to ten non-final year students of each of the Departments of Computing, Mathematics and Physics for academic excellence.

Computing MEng3: Jan Matas, Radu Szasz, Giulio Jiang
Computing 2: Panayiotis Panayiotou, Ioan Budea, Tencho Tenev
Computing 1: Teodor Begu, Jordon Spooner, Ian Yeo
JMC2: Christopher Hawkes
JMC1: David Angdinata

The Winton Capital Undergraduate Prize

Fangyi Zhou (Computing 2)
Linna Wang (Computing 2)

The Morgan Stanley IT Prize

Awarded for outstanding achievement to first year students who score the highest marks in their Autumn Term exams.

Aleksander Cherganski (Computing 1)
Calin Farcas (Computing 1)
Edward Stow (Computing 1)
Giorgos Gavriil (Computing 1)
Ian Yeo (Computing 1)
Jordan Spooner (Computing 1)
Laurence Squires (Computing 1)
Lewis Treacy (Computing 1)
Matej Novak (Computing 1)
Michael Tsang (Computing 1)
Teodor Begu (Computing 1)

Henry Johnson Memorial Prize

Awarded to the undergraduate or postgraduate student who has shown the greateste endeavour in his/her studies.

Cemre Cankaya (Computing BEng 3)

Student Activity Award from the Old Centralian's Trust

Martin Zlocha (Computing MEng 2)
Thomas Bower (Computing MEng 2)

Project Specific

ARM Project Prize

For annual award to an undergraduate student for an outstanding individual project in the area of computer systems.

Mihai Popa (Computing MEng 4), Visualising the Evolution of Aerodynamic Flows over Time using Tree, Supervisor: Prof. Paul Kelly

Microsoft Prize

Awarded to a final year student for an outstanding individual project.

David Pollak (MEng), Reasoning about Two-phase Locking Concurrency Control, Supervisor: Prof. Philippa Gardner

The Winton Capital Applied Undergraduate Project Prize

Awarded to an undergraduate student in the Department of Computing for an outstanding performance on their final individual project.

Piotr Chabierski (Computing MEng 4), Logic-based Approach to Machine Comprehension of Text, Supervisor: Prof. Alessandra Russo

BlackRock

Awarded to a final year student for an outstanding individual project in the area of games vision and interaction.

Ilija Radosavovic (Computing MEng 4), Semi-supervised Learning of Instance-level Recognition from Video, Supervisor: Prof. Daniel Rueckert

The Corporate Partnership Programme Award

Awarded to final year students for outstanding achievement in their individual projects.

Krish de Souza (Computing MEng 4), PowerKap; A tool for Improving Energy Transparency for Software, Supervisor: Dr Anandha Gopalan
Paul Lietar (JMC BEng 3), Formalising Pony's capabilities with regions Supervisor: Prof. Sophia Drossopoulou
Vasin Wongrassamee (Computing BEng 3), Can you Poison a Machine Learning Algorithm?, Supervisor: Dr Luis Munoz Gonzalez

Donald Davies Memorial Prize

Awarded annually for the JMC student who produces the best final year individual project.

Lalit Maganti (JMC MEng 4), Verification of Feed-forward ReLU Neural Networks, Supervisor: Prof. Alessio Lomuscio

The Olav Beckmann Project Prize

Awarded annually for outstanding second year undergraduate laboratory project work (individual or group).

Abhinav Mishra (Computing 2)
Alberto Spina (Computing 2)
Emanuele Rossi (Computing 2)
Szilveszter Szekely (Computing 2)

The IBM 2nd Year Group Project Prize

Awarded to one (or split between two) second year groups for best third term group project.

Jennifer Lea (Computing 2)
Oliver Stenbom (Computing 2)
Rishabh Jain (Computing 2)
William Ray (Computing 2)

The Credit Suisse Group Project Prize

Awarded to an outstanding third year group project.

Andrea Janoscikova (Computing BEng 3)
David Cattle (Computing MEng 3)
Galina Peycheva (Computing MEng 3)
Jan Matas (Computing MEng 3)
Paul Balaji (Computing MEng 3)
Sam Wood (Computing MEng 3)

The David Howarth Group Project Prize

Awarded for excellence in a third year group project.

Andreea Kevorchian (Computing MEng 3)
Dragos Ilie (Computing MEng 3)
Carmen Agimof (Computing MEng 3)
Cristian Chriac (JMC MEng 3)
Razvan Certezeanu (Computing MEng 3)
Mihai Barbu (Computing MEng 3)

Distinguished projects

Projects that are outstanding in terms of technical achievement and presentation are awarded "Distinguished" status.

Adam Wiles (BEng), Automated Creation of Infographic Event Timelines from Text, Supervisor: Prof. William Knottenbelt
Beatrix de Wilde (MEng), Towards Automatic Verification of JavaScript Programs, Supervisor: Prof. Philippa Gardner
Dane Sherburn (MEng), On the Feasibility of Using Fully-Convolutional Variational Aut, Supervisor: Dr Pedro Martinez Mediano
David Pollak (MEng), Reasoning about Two-phase Locking Concurrency Control, Supervisor: Prof. Philippa Gardner
Henry Cuttel (MEng), Blockchain-based Smart Tenancy Agreements, Supervisor: Prof. William Knottenbelt
Ilija Radosavovic (MEng), Semi-supervised Learning of Instance-level Recognition from Video, Supervisor: Prof. Daniel Rueckert
James Stewart (MEng), The Computation Complexity of Bribery in a Network-Based Rating System, Supervisor: Dr Paolo Turrini
Krish de Souza (Computing MEng 4), PowerKap; A tool for Improving Energy Transparency for Software, Supervisor: Dr Anandha Gopalan
Lalit Maganti (MEng), Verification of Feed-forward ReLU Neural Networks, Supervisor: Prof. Alessio Lomuscio
Madalina-Ioana Sas (MEng), SnowWall; A Visual Firewall for the Surveillance Society, Supervisor: Prof. William Knottenbelt
Maximilian Dore (BEng), ELFE - An Interactive Theorem Prover for Undergraduate Students, Supervisor: Prof. Krysia Broda
Michael Carneciu (Computing BEng 3), Optimising post-trade processing using Distributed Ledger Technology, Supervisor: Dr Anandha Gopalan
Mihai Popa (MEng), Visualising the Evolution of Aerodynamic Flows over Time using Tree, Supervisor: Prof. Paul Kelly
Nuri Cingillioglu (MEng), Neural Logic Framework for Digital Assistants, Supervisor: Prof. Alessandra Russo
Paul Lietar (BEng), Formalizing Generics for Pony, Supervisor: Prof. Sophia Drossopoulou
Piotr Chabierski (MEng), Logic-based Approach to Machine Comprehension of Text, Supervisor: Prof. Alessandra Russo
Radu Gheorman (MEng), Visualising Connascence to Drive Refactoring, Supervisor: Dr Robert Chatley
Samuel Budd (MEng), The Cortical Explorer - A Web-based User-interface for the Exploration of..., Supervisor: Dr Bernhard Kainz
Timotej Kapus (MEng), Testing Symbolic Execution Engines, Supervisor: Dr Cristian Cadar
Vasin Wongrassamee (BEng), Can you Poison a Machine Learning Algorithm?, Supervisor: Dr Luis Munoz Gonzalez
Zichen Liu (MEng), Machine Learning for Filtering Monte Carlo Noise in Ray Traced Images, Supervisor: Dr Su-lin Lee

2017-2018

Academic Excellence

Governors' Prize

Awarded to an outstanding final year student in the Department in each of the following courses: MEng and BEng in Computing and Joint Maths and Computer Science.

Linna Wang (BEng Computing Year 3), Who did it? Helping Forensics Analysists after a Cyber Attack Supervisor : Dr Erisa Karafili
Jan Matas (MEng Computing Year 4), Learning end-to-end robotic manipulation of deformable objects , Supervisor: Prof. Andrew Davison
Nicholas Sim (BEng JMC Year 3),Optimising finite-difference methods for PDEs through parameterised time-tiling , Supervisor: Prof. Paul Kelly
Cristian Chirac (MEng JMC Year 4), Learning Automobile Architectural Descriptions , Supervisor: Dr Krysia Broda ( Co-Supervised by Prof. Alessandra Russo and in Collaboration with Siemens)

The Centenary Prize

Awarded annually to a final year undergraduate student for an outstanding overall performance.

Giulio Jiang (MEng Computing Year 4), Intelligent Ray Tracing Path Generation , Supervisor : Dr Bernhard Kainz

Departmental Prizes for Excellence

Awarded to final year students for outstanding overall performance.

Panayiotis Panayiotou (BEng Computing Year 3), Investigating the interoperability of different blockchains using sidechains and atomic swaps, Supervisor : Dr Arthur Gervais
Alexandru Dan (BEng Computing Year 3), Network Friendly File Sharing Systems, Supervisor : Prof. Kin Leung
Andreas Asprou (BEng Computing Year 3), Determining (emerging) sub-cultures of online social Influencers on Instagram , Supervisor : Dr Alex Carver

Adrian Israel Memorial Prize

Awarded annually for excellence in the first year.

Joe Rackham (MEng Computing Year 1)

Joint Maths and Computer Science Departmental Prizes

Awarded for excellence in the first, second and third year of the JMC.

Hannah Schlueter (MEng JMC Year 1)
Toma Popov (MEng JMC Year 2)
Christopher Hawkes (MEng JMC Year 3)

G-RESEARCH Ltd Prize

Awarded annually to up to ten non-final year students of each of the departments of Computing, Mathematics and Physics for academic excellence.

Willam Burr (MEng Computing Year 1)
Matthew Baugh (MEng Computing Year 1)
Hashan Punchihewa (MEng Computing Year 1)
Jordan Spooner (BEng Computing Year 2)
Laurence Squires (BEng Computing Year 2)
Anson Miu (BEng Computing Year 2)
Riku Murai (MEng Computing Year 3)
Ioan Budea (MEng Computing Year 3)
Fangyi Zhou (MEng Computing Year 3)
Ruiao Hu (MEng JMC Year 3)

CGCA & Old Centralians' Trust: Student Activity Awards 2017-18

Awarded to the students judged by the Senior Tutor & HoD to be most active in student affairs.

Andrew Hill (MEng Computing Year 3)
Shravan Nageswaran (BEng JMC Year 2)

Project Specific

Donald Davies Prize

Awarded annually to JMC students who produce the best final year individual project.

Jingya Wang (MEng JMC Year 4), ‌Applying machine learning approaches to survival data , Supervisor : Dr Matthew Williams
Blaine Rogers (MEng JMC Year 4), Advanced static analysis for Erlang programs , Supervisor: Prof. Philippa Gardner

ARM Project Prize

Awarded annually to an undergraduate student for an outstanding individual project in the area of computer systems.

Tencho Tenev (BEng Computing Year 3), Tense - a CFS extension for virtual-time execution in Linux , Supervisor: Dr Anthony Field

IBM Project Prize

Awarded to an undergraduate student in the Department of Computing for outstanding achievement in an individual project.

Radu Szasz (MEng Computing Year 4), Typing JavaScript via Symbolic Execution , Supervisor: Prof. Philippa Gardner

IBM 2nd year group project prize

Awarded to a second year project group for best third term project.

Zeshan Amjad (MEng Computing Year 2)
Rohan Padmanabhan (BEng Computing Year 2)
Rohan Pritchard (MEng Computing Year 2)
Edward Stow (MEng Computing Year 2)

Microsoft Prize

Awarded to a final year student in the department of Computing for the outstanding individual project.

Csongor Kiss (MEng Computing Year 4), Higher-order type-level programming in Haskell‌ ‌‌, Supervisor: Prof. Susan Eisenbach
‌‌

The Winton Capital Applied Undergraduate Project Computing Prize

Awarded to a final year undergraduate student for an outstanding individual project in applied computing.

Franklin Schrans (MEng Computing Year 4), A new programming language for safer smart contracts , Supervisor: Prof. Susan Eisenbach

Olav Beckmann Project Prize

Awarded annually for outstanding second year undergraduate laboratory project work (individual or group).

Jordan Spooner (BEng Computing Year 2)
Mayeul Fournial (MEng JMC Year 2)
Pranav Kalidindi (MEng JMC Year 2)

Palantir Forward Group Project Prize

Awarded to an outstanding third year group project for software engineering excellence applied to solve an important real-world problem.

Alessandro Bonardi (MEng Computing Year 3)
Daniel Boulby (MEng Computing Year 3)
Thomas Bower (MEng Computing Year 3)
Matthew Brookes (MEng Computing Year 3)
Riku Murai (MEng Computing Year 3)
Alberto Spina (MEng Computing Year 3)

David Howarth Group Project Prize

Awarded for excellence in group projects in third year.

Ramon Fernandez I Mir (MEng JMC Year 3)
Christopher Hawkes (MEng JMC Year 3)
Robert Holland (MEng JMC Year 3)
Ruiao Hu (MEng JMC Year 3)
Rakhilya Mekhtieva (MEng JMC Year 3)
Aristomenis-Dionysios Papadopoulos (MEng JMC Year 3)

Corporate Partnership Programme Prize for Technical Innovation

Awarded for outstanding achievement by a computing student in their final year.

Sam Wood (MEng Computing Year 4),Self-Destructing Data , Supervisor : Dr Naranker Dulay

NewVoice Media Prize for Computing

Awarded for an outstanding individual project in the area of data science.

Corentin Herbinet (MEng JMC Year 4), Using Machine Learning techniques to predict the outcome of professional footbal, Supervisor: Dr Jonathan Passerat-Palmbach

Corporate Partnership Programme Awards

Awarded to final year students for excellence in their individual projects.

Amin Karamlou (MEng Computing Year 4), Web-based debates and their evaluation , Supervisor: Prof. Francesca Toni
Filip Stollar (BEng Computing Year 3), Fleet Management in On-demand Transportation Networks : Using a Greedy Approach , Supervisor: Prof. Julie McCann
Elias Benussi (MEng Computing Year 4), A scalable runtime system for type-driven concurrent programming , Supervisor: Prof. Nobuko Yoshida
Linna Wang (BEng Computing Year 3), Who did it? Helping Forensics Analysists after a Cyber Attack , Supervisor : Dr Erisa Karafili
Elliot Greenwood (MEng Computing Year 4), Learning Player Strategies using Weak Constraints , Supervisor: Dr Krysia Broda

Distinguished projects

Projects that are outstanding in terms of technical achievement and presentation are awarded "Distinguished" status.

Amin Karamlou (MEng Computing Year 4), Web-based debates and their evaluation ‌ ‌, Supervisor: Prof. Francesca Toni
Andreas Asprou (BEng Computing Year 3), Determining (emerging) sub-cultures of online social Influencers on Instagram ‌ ‌, Supervisor : Dr Alex Carver
Andreea Kevorchian (MEng Computing Year 4), Verification of Recurrent Neural Networks , Supervisor: Prof. Alessio Lomuscio
Bjarne Pfitzner (MEng Computing Year 4), Stealthy Poisoning Attacks with Generative Adversarial Nets , Supervisor: Dr Luis Munoz Gonzalez
Blaine Rogers (MEng JMC Year 4), Advanced static analysis for Erlang programs ‌ ‌, Supervisor: Prof. Philippa Gardner
Corentin Herbinet (MEng JMC Year 4), Using Machine Learning techniques to predict the outcome of professional footbal, Supervisor: Dr Jonathan Passerat-Palmbach
Cristian Chirac (MEng JMC Year 4), Learning Automobile Architectural Descriptions ‌, Supervisor: Dr Krysia Broda (Co-Supervised by Prof. Alessandra Russo and in Collaboration with Siemens)
Csongor Kiss (MEng Computing Year 4), Higher-order type-level programming in Haskell ‌, Supervisor: Prof. Susan Eisenbach
Daniel Grumberg (MEng Computing Year 4), Customized OS kernel for data-processing on modern hardware ‌, ‌Supervisor: Dr Jana Giceva
Daniel Slocombe (MEng JMC Year 4), Reliable Garbage Collection in Pony ‌, ‌Supervisor, Prof. Sophia Drossopoulou
Dragos Ilie (MEng Computing Year 4), Making Bitcoin Quantum Resistant (...) , Supervisor: Prof. William Knottenbelt
Elias Benussi (MEng Computing Year 4), A scalable runtime system for type-driven concurrent programming ‌ ‌, Supervisor: Prof. Nobuko Yoshida
Elliot Greenwood (MEng Computing Year 4), Learning Player Strategies using Weak Constraints ‌ ‌, Supervisor: Dr Krysia Broda
Franklin Schrans (MEng Computing Year 4), A new programming language for safer smart contracts ‌ ‌, Supervisor: Prof. Susan Eisenbach
Filip Stollar (BEng Computing Year 3), Fleet Management in On-demand Transportation Networks : Using a Greedy Approach ‌, Supervisor: Prof. Julie McCann
Giulio Jiang (MEng Computing Year 4), Intelligent Ray Tracing Path Generation , Supervisor: Dr Bernhard Kainz
Hongtao Li (MEng Computing Year 4), AMJ - An Analyzer for Malicious JavaScript ‌, ‌Supervisor : Dr Sergio Maffeis
Ignacio Navarro (MEng JMC Year 4), On Garbled Circuits‌‌, ‌Supervisor: Dr Mahdi Cheraghchi
Jan Matas (MEng Computing Year 4), Learning end-to-end robotic manipulation of deformable objects ‌ , Supervisor: Prof. Andrew Davison
Jingya Wang (MEng JMC Year 4), ‌ Applying machine learning approaches to survival data , Supervisor : Dr Matthew Williams
Linna Wang (BEng Computing Year 3), Who did it? Helping Forensics Analysists after a Cyber Attack ‌ ‌, Supervisor : Dr Erisa Karafili
Masturah Wan Mohd Azmi (MEng Computing Year 4), Machine Comprehension Using Commonsense Knowledge ‌, ‌Supervisor: Prof. Alessandra Russo
Nicholas Sim (BEng JMC Year 3), Optimising finite-difference methods for PDEs through parameterised time-tiling , Supervisor: Prof. Paul Kelly
Radu Szasz (MEng Computing Year 4), Typing JavaScript via Symbolic Execution ‌ ‌, Supervisor: Prof. Philippa Gardner
Sam Wood (MEng Computing Year 4), Self-Destructing Data ‌ ‌, Supervisor : Dr Naranker Dulay
Tencho Tenev (BEng Computing Year 3), Tense - a CFS extension for virtual-time execution in Linux ‌, Supervisor: Dr Anthony Field
Thomas Szyszko (MEng Computing Year 4), Individual projects on Web Security and Privacy , Supervisor : Dr Sergio Maffeis
Ziyi Bao (MEng Computing Year 4), Mitigating Evasion Attacks against Machine Learning Systems (...), Supervisor: Dr Luis Munoz Gonzalez

2018-2019

Academic Excellence

Summary of the table's contents
Prize	Winners
Governors' Prize For the annual award to the final year students with the best overall performance on the BEng Computing/MEng Computing /BSci Maths and Computing/MSci Maths and Computing degree programmes.	Nageswaran, Shravan (BEng JMC Year 3) Padmanabhan, Rohan (BEng Computing Year 3) Hu, Ruiao (MEng JMC Year 4) Zhou, Fangyi (MEng Computing Year 4)
The Centenary Prize Awarded annually to a final year undergraduate student for outstanding overall performance.	Murai, Riku (MEng Computing Year 4)
Departmental Prizes for Excellence Awarded to final year students for outstanding overall performance.	Brabete, Andrei-Octavian (MEng Computing Year 4) Budea, Ioan (MEng Computing Year 4) Shan Chen, Jixi (MEng JMC Year 4) Davies-Lyons, Ashley (MEng Computing Year 4) Jain, Rishabh (MEng Computing Year 4) Uglow, Harry (MEng Computing Year 4)
PDT Partners Second Year Prize Awarded annually for academic excellence in the second year.	Punchihewa, Hashan (MEng Computing Year 2)
Adrian Israel Memorial Prize Awarded annually for excellence in the first year.	Wride, Tristan (MEng Computing Year 1)
Joint Maths and Computer Science Departmental Prizes Awarded for excellence in the first, second and third year of the JMC.	Varshney, Aporva (MEng JMC Year 1) Schlueter, Hannah (MEng JMC Year 2) Popov, Toma (MEng JMC Year 3)
G-RESEARCH Ltd Prize Awarded annually to up to ten non-final year students of each of the departments of Computing, Mathematics and Physics for academic excellence.	Chua, Wilson (MEng Computing Year 1) Dejl, Adam (MEng Computing Year 1) Milizia, Stefano (MEng Computing Year 1) Burr, Willam (BEng Computing Year 2) Hails, Daniel (MEng Computing Year 2) Langenstein, Moritz (MEng Computing Year 2) Gorostiaga Belio, Pablo (MEng Computing Year 3) Miu, Anson (MEng Computing Year 3) Spooner, Jordan (MEng Computing Year 3)
Corporate Partnership Programme Prize for Technical Innovation Awarded for outstanding achievement by a computing student in their final year.	Toma, Alexandru (MEng Computing Year 4)
CGCA & Old Centralians' Trust: Student Activity Awards Awarded to the students judged by the Senior Tutor & HoD to be most active in student affairs.	Ghosh, Anindita (MEng Computing Year 2) Nielsen, Alexander (MEng Computing Year 2)

Other distinguished projects

Summary of the table's contents
Project Status	Winners
Distinguished projects The following projects (not already mentioned above) are also judged to be outstanding in terms of technical achievement and presentation and awarded "Distinguished" status.	Brabete, Andrei-Octavian (MEng Computing Year 4), Kungfu: A Novel Distributed Training System for TensorFlow... (pdf)‌, Supervisor: Prof Peter Pietzuch‌‌ Budea, Ioan (MEng Computing Year 4), TensorBow: Supporting Small-Batch Training in TensorFlow (pdf), Supervisor: Prof Peter Pietzuch‌ Chorley, Jack (MEng Computing Year 3), Automatic Reconstruction of Images from Shredded Paper (pdf), Supervisor: Dr Mark Wheelhouse Davies-Lyons, Ashley (MEng Computing Year 4), I/O bottleneck detection in the Linux kernel (pdf), Supervisor: Dr Tony Field Eden, Callum (MEng Computing Year 4), Sher(b)lock Holmes: Digital Blockchain Forensics (pdf), Supervisor: Prof Will Knottenbelt Jain, Rishabh (MEng Computing Year 4), On Dynamics of Interpretable Neural Models (pdf), Supervisor: Dr Pranava Shantharam Madhyastha Murai, Riku (MEng Computing Year 4), Visual Odometry Using a Focal-plane Sensor-processor (pdf), Supervisor: Prof Paul Kelly Stenbom, Oliver (MEng Computing Year 4), Refunction - Eliminating Serverless Cold Starts Through Container Reuse (pdf), Supervisor: Dr Rob Chatley Toma, Alexandru (MEng Computing Year 4), Global Way-point LSTM Planner: An Online Machine Learning Solution... (pdf), Supervisor: Dr Sajad Saeedi Gharahbolagh Uglow, Harry (MEng Computing Year 4), CuRL: Curriculum Reinforcement Learning for Goal-Oriented Robot Control (pdf), Supervisor: Dr Ed Johns Woodacre, William (MEng Computing Year 4), Deterministic concurrency control for transaction processing systems... (pdf), Supervisor: Dr Holger Pirk Xu, Junfeng (BEng Computing Year 3), Emmy: A Proof Assistant for Reasoning about Programs (pdf), Supervisor: Prof Sophia Drossopoulou

Project Specific Prizes

Prize	Winners
IBM 2nd year group project prize Awarded to a second-year project group for the best third term project.	Burr, William (BEng Computing Year 2) Cross, Tiger (BEng Computing Year 2) Singh, Arjun (MEng Computing Year 2) Son, Joon-Ho (MEng Computing Year 2)
Olav Beckmann Project Prize Awarded annually for outstanding second-year undergraduate laboratory project work (individual or group).	Cutner, Zak (MEng Computing Year 2) Everest, Zelie (BEng JMC Year 2) Langenstein, Moritz (MEng Computing Year 2) Popat, Ram (MEng Computing Year 2)
Palantir Forward Group Project Prize Awarded to an outstanding third-year group project for software engineering excellence applied to solve an important real-world problem.	Amjad, Zeshan (BEng Computing Year 3) Chorley, Jack (BEng Computing Year 3) Padmanabhan, Rohan (BEng Computing Year 3) Pointon, Thomas (MEng Computing Year 3) Pritchard, Rohan (MEng Computing Year 3) Stow, Edward (MEng Computing Year 3)
David Howarth Group Project Prize Awarded for excellence in group projects in the third-year.	Clarke, Alexander (MEng Computing Year 3) Feng, Qiang (MEng Computing Year 3) Fournial, Mayeul (MEng JMC Year 3) Kalidindi, Pranav (MEng JMC Year 3) Spooner, Jordan (MEng Computing Year 3) Squires, Lawrence (MEng Computing Year 3)
Donald Davies Prize Awarded annually to JMC students who produce the best final year individual project.	Fernandez I Mir, Ramon (MEng JMC Year 4), Schemes in Lean (pdf), Supervisor: Dr Kevin Buzzard Hawkes, Christopher (MEng JMC Year 4), dSILP: A Differentiable Inductive Logic Programming Framework... (pdf)‌‌, Supervisor: Prof Alessandra Russo
ARM Project Prize Awarded annually to an undergraduate student for an outstanding individual project in the area of computer systems.	Spina, Alberto (MEng Computing Year 4), Reliable Distributed Consensus for Low-Power Multi-Hop Networks (pdf)‌, Supervisor: Prof Julie McCann
IBM Project Prize Awarded to an undergraduate student in the Department of Computing for outstanding achievement in an individual project.	Tan, Si (MEng Computing Year 4), Trusted Infrastructure for JavaScript (ES5) Analysis (pdf), Supervisor: Prof Philippa Gardner
Microsoft Prize Awarded to a final year student in the Department of Computing for the outstanding individual project.	Zlocha, Martin (MEng Computing Year 4), ‌‌Universal Lesion Detector: Deep Learning for Analysing Medical Scans (pdf), Supervisor: Dr Ben Glocker
The Winton Capital Applied Undergraduate Project Computing Prize Awarded to a final year undergraduate student for an outstanding individual project in applied computing.	Agrawal, Vinamra (MEng Computing Year 4), Energy optimisation of cascading neural-network classifiers (pdf), Supervisor: Dr Anandha Gopalan‌ de Maupeou D'Ableiges, Sixte (MEng Computing Year 4), One noise to fool them all (pdf), Supervisor: Dr Luis Munoz Gonzalez
Blockchain.com Undergraduate Individual Project Prize Awarded for best project on a blockchain-related topic.	Nageswaran, Shravan (BEng JMC Year 3), Design and Implement a Stablecoin Cryptocurrency (pdf), Supervisor: Prof Will Knottenbelt
NewVoice Media Prize for Computing Awarded for an outstanding individual project in the area of data science.	G, Suraj (MEng Computing Year 4), A Practical Analysis of Optimisation and Recovery Under Uncertainty (pdf)‌, Supervisor: Dr Ruth Misener
Corporate Partnership Programme Awards The departmental prize for excellence in project work.	Chow, Julian (BEng Computing Year 3), Lost in translation: fidelity-focused machine translation evaluation (pdf), Supervisor: Prof Lucia Specia Allerton, Thomas (MEng Computing Year 4), Nimbus: Java Framework Targeting Function-as-a-Service (pdf), Supervisor: Dr Rob Chatley Bower, Thomas (MEng Computing Year 4), Industry project: identifying JavaScript skimmers on high-value websites (pdf), Supervisor: Dr Sergio Maffeis Hu, Ruiao (MEng Computing Year 4), Solutions of the Hitchin Equations from the Nahm Transform (pdf), Supervisor: Dr Chris Ford Matache, Cristian (MEng Computing Year 4), Efficient Design of Machine Learning Hyperparameter Optimizers (pdf), Supervisor: Dr Jonathan Passerat-Palmbach Papadopoulos, Aristomenis-Dionysios (MEng JMC Year 4), Model Theory: Fraisse Constructions (pdf), Supervisor: Dr Zaniar Ghadernezhad‌ Pearcy, Andrew (MEng Computing Year 4), Proft Driven Drone Scheduling in Last Mile Food Delivery Networks (pdf))‌, Supervisor: Prof Will Knottenbelt‌ Sapora, Silvia (MEng Computing Year 4), Grasp Quality Deep Neural Networks for Robotic Object Grasping (pdf)‌, Supervisor: Dr Ed Johns‌ Zen, Maurizio (MEng JMC Year 4), Improving Neural Architecture Search with Reinforcement Learning (pdf), Supervisor: Dr Jonathan Passerat-Palmbach‌‌ Zhang, Shuhao (MEng JMC Year 4), Functional Programming with Multiparty Session Types (pdf), Supervisor: Prof Nobuko Yoshida‌ Zhou, Fangyi (MEng JMC Year 4), Refinement Session Types (pdf)‌, Supervisor: Prof Nobuko Yoshida

Prize

Winners

IBM 2nd year group project prize

Awarded to a second-year project group for the best third term project.

Burr, William (BEng Computing Year 2)
Cross, Tiger (BEng Computing Year 2)
Singh, Arjun (MEng Computing Year 2)
Son, Joon-Ho (MEng Computing Year 2)

Olav Beckmann Project Prize

Awarded annually for outstanding second-year undergraduate laboratory project work (individual or group).

Cutner, Zak (MEng Computing Year 2)
Everest, Zelie (BEng JMC Year 2)
Langenstein, Moritz (MEng Computing Year 2)
Popat, Ram (MEng Computing Year 2)

Palantir Forward Group Project Prize

Awarded to an outstanding third-year group project for software engineering excellence applied to solve an important real-world problem.

Amjad, Zeshan (BEng Computing Year 3)
Chorley, Jack (BEng Computing Year 3)
Padmanabhan, Rohan (BEng Computing Year 3)
Pointon, Thomas (MEng Computing Year 3)
Pritchard, Rohan (MEng Computing Year 3)
Stow, Edward (MEng Computing Year 3)

David Howarth Group Project Prize

Awarded for excellence in group projects in the third-year.

Clarke, Alexander (MEng Computing Year 3)
Feng, Qiang (MEng Computing Year 3)
Fournial, Mayeul (MEng JMC Year 3)
Kalidindi, Pranav (MEng JMC Year 3)
Spooner, Jordan (MEng Computing Year 3)
Squires, Lawrence (MEng Computing Year 3)

Donald Davies Prize

Awarded annually to JMC students who produce the best final year individual project.

Fernandez I Mir, Ramon (MEng JMC Year 4), Schemes in Lean (pdf), Supervisor: Dr Kevin Buzzard

Hawkes, Christopher (MEng JMC Year 4), dSILP: A Differentiable Inductive Logic Programming Framework... (pdf)‌‌, Supervisor: Prof Alessandra Russo

ARM Project Prize

Awarded annually to an undergraduate student for an outstanding individual project in the area of computer systems.

Spina, Alberto (MEng Computing Year 4), Reliable Distributed Consensus for Low-Power Multi-Hop Networks (pdf)‌, Supervisor: Prof Julie McCann

IBM Project Prize

Awarded to an undergraduate student in the Department of Computing for outstanding achievement in an individual project.

Tan, Si (MEng Computing Year 4), Trusted Infrastructure for JavaScript (ES5) Analysis (pdf), Supervisor: Prof Philippa Gardner

Microsoft Prize

Awarded to a final year student in the Department of Computing for the outstanding individual project.

Zlocha, Martin (MEng Computing Year 4), ‌‌Universal Lesion Detector: Deep Learning for Analysing Medical Scans (pdf), Supervisor: Dr Ben Glocker

The Winton Capital Applied Undergraduate Project Computing Prize

Awarded to a final year undergraduate student for an outstanding individual project in applied computing.

Agrawal, Vinamra (MEng Computing Year 4), Energy optimisation of cascading neural-network classifiers (pdf), Supervisor: Dr Anandha Gopalan‌

de Maupeou D'Ableiges, Sixte (MEng Computing Year 4), One noise to fool them all (pdf), Supervisor: Dr Luis Munoz Gonzalez

Blockchain.com Undergraduate Individual Project Prize

Awarded for best project on a blockchain-related topic.

Nageswaran, Shravan (BEng JMC Year 3), Design and Implement a Stablecoin Cryptocurrency (pdf), Supervisor: Prof Will Knottenbelt

NewVoice Media Prize for Computing

Awarded for an outstanding individual project in the area of data science.

G, Suraj (MEng Computing Year 4), A Practical Analysis of Optimisation and Recovery Under Uncertainty (pdf)‌, Supervisor: Dr Ruth Misener

Corporate Partnership Programme Awards

The departmental prize for excellence in project work.

Chow, Julian (BEng Computing Year 3), Lost in translation: fidelity-focused machine translation evaluation (pdf), Supervisor: Prof Lucia Specia

Allerton, Thomas (MEng Computing Year 4), Nimbus: Java Framework Targeting Function-as-a-Service (pdf), Supervisor: Dr Rob Chatley

Bower, Thomas (MEng Computing Year 4), Industry project: identifying JavaScript skimmers on high-value websites (pdf), Supervisor: Dr Sergio Maffeis

Hu, Ruiao (MEng Computing Year 4), Solutions of the Hitchin Equations from the Nahm Transform (pdf), Supervisor: Dr Chris Ford

Matache, Cristian (MEng Computing Year 4), Efficient Design of Machine Learning Hyperparameter Optimizers (pdf), Supervisor: Dr Jonathan Passerat-Palmbach

Papadopoulos, Aristomenis-Dionysios (MEng JMC Year 4), Model Theory: Fraisse Constructions (pdf), Supervisor: Dr Zaniar Ghadernezhad‌

Pearcy, Andrew (MEng Computing Year 4), Proft Driven Drone Scheduling in Last Mile Food Delivery Networks (pdf))‌, Supervisor: Prof Will Knottenbelt‌

Sapora, Silvia (MEng Computing Year 4), Grasp Quality Deep Neural Networks for Robotic Object Grasping (pdf)‌, Supervisor: Dr Ed Johns‌

Zen, Maurizio (MEng JMC Year 4), Improving Neural Architecture Search with Reinforcement Learning (pdf), Supervisor: Dr Jonathan Passerat-Palmbach‌‌

Zhang, Shuhao (MEng JMC Year 4), Functional Programming with Multiparty Session Types (pdf), Supervisor: Prof Nobuko Yoshida‌

Zhou, Fangyi (MEng JMC Year 4), Refinement Session Types (pdf)‌, Supervisor: Prof Nobuko Yoshida

2019 - 2020

Project Status	Winners
Distinguished projects Projects that are outstanding in terms of technical achievement and presentation are awarded "Distinguished" status.	Michal Pandy, Unsupervised Path Regression Networks‌‌ (PDF) James Tavernor, Cross-corpus Speech and Textual Emotion Learning for Psychotherapy (PDF) Christopher Battarbee, Profile-Guided Optimization using Database techniques (PDF) Natalia Arciuchiewicz, Optimised small-matrix linear algebra in Firedrake (PDF) Boris Barath, ML Code Completion (PDF) Samuel Brotherton, Exploring a new time series prediction algorithm (PDF) Dragon Musan, NFT.finance: Leveraging Non-Fungible Tokens (PDF) Hang Li Li, Serverless Data Pipelines (PDF) Boaz Francis, Operational Semantics for Distributed Atomic Transactions (PDF) Julien Amblard, Using Answer Set Grammars for Text summarisation (PDF) Edward Stow, Code generation for CNNs for an analogue SIMD image sensor(PDF) Isaac Hutt, Mobile Medical Image Analysis (PDF) Harry Brown, An aggregated sparse matrix factorisation model for market trading (PDF) Ben Dixon, Deep Learning Based Facial Area Analysis For Deepfake Video Detection (PDF) Thomas Yung, Accelerating XD-GRASP MRImage Reconstruction (PDF) Nikolay Smirnov, A Complex Systems Approach to Ecology: from Time-series Population Data (PDF) Toma Popov, Bringing the World Tennis Number to Life (International Tennis Federation) Athithan Dharmaratnam, Data Mining Calibration Points from Oilfield Documents (PDF) Naman Wahi, Decoding Brain Signals to Assess the Perception of Music in Psychedelic State (PDF) Thomas Claydon, Modelling the Effects of Social Products and Other Factors on Information Flow (PDF) Mehdi Hossain, Using Register Packing for Small Sparse Matrix Multiplication (PDF) Leszek Nowaczyck, Energio: A New Hardware-based Energy Benchmark Platform to Develop Energy Rating (PDF) Padmanaba Srinivasan, Machine Learning for the Analysis and Prediction of Film Performance (Filmchain) (PDF)

2019-2020

Prize	Winners
Governors' Prize For the annual award to the final year students with the best overall performance on the BEng Computing/MEng Computing /BSci Maths and Computing/MSci Maths and Computing degree programmes.	Zelie Everest (BEng JMC Year 3) Hashan Punchihewa (BEng Computing Year 3) David Angdinata (MEng JMC Year 4) Jordan Spooner (MEng Computing Year 4)
The Centenary Prize Awarded annually to a final year undergraduate student for outstanding overall performance.	Hashan Punchihewa (BEng Computing Year 3)
Departmental Prizes for Excellence Awarded to final year students for outstanding overall performance.	Aleksandar Cherganski (MEng Computing Year 4) Christopher Battarbee (MEng Computing Year 4) Hang Li Li (MEng Computing Year 4) Mayeul Fournial (MEng JMC Year 4) Michal Pandy (MEng Computing Year 3) Natalia Arciuchiewicz (MEng JMC Year 4) Rishi Rabheru (MEng Computing Year 4) Toma Popov (MEng JMC Year 4)
Adrian Israel Memorial Prize Awarded annually for excellence in the first year.	Kaiyan Fan (MEng Computing Year 1)
Joint Maths and Computer Science Departmental Prizes Awarded for excellence in the first, second and third year of the JMC.	Nicholas Duer (MEng JMC Year 1) Aporva Varshney (MEng JMC Year 2) Hannah Schlueter (MEng JMC Year 3)
G-Research Ltd Prize Awarded annually to up to ten non-final year students of each of the departments of Computing, Mathematics and Physics for academic excellence.	Adam Dejl (MEng Computing Year 2) Arran O'Sullivan (MEng Computing Year 1) Codrin Cotarlan (MEng Computing Year 1) Matthew Baugh (MEng Computing Year 3) Moritz Langenstein (MEng Computing Year 3) Ram Popat (MEng Computing Year 3) Stefano Milizia (MEng Computing Year 2) Thomas Cobley (MEng Computing Year 1) Tristan Wride (MEng Computing Year 2) William Burr (MEng Computing Year 3)

Prize	Winners
IBM 2nd year group project prize Awarded to a second-year project group for the best third term project.	Aditya Goel (MEng Computing Year 2) Arjun Banerjee (MEng Computing Year 2) Mayank Sharma (MEng Computing Year 2) Rini Banerjee (MEng JMC Year 2) https://www.youtube.com/watch?v=OrIlBWddZ0I
Olav Beckmann Project Prize Awarded annually for outstanding second-year undergraduate laboratory project work (individual or group).	Andreas Casapu (MEng Computing Year 2) Bruno Da Rocha Paiva (MEng JMC Year 2) Judicael Clair (MEng JMC Year 2) Ruiyang (Jason) Xu (MEng JMC Year 2)
Palantir Forward Group Project Prize Awarded to an outstanding third-year group project for software engineering excellence applied to solve an important real-world problem. Sponsored by Palantir	Daniel Hails (MEng Computing Year 3) Harry Black (MEng Computing Year 3) James Dalboth (MEng Computing Year 3) Matthew Ho (MEng Computing Year 3) Matthew Malarkey (MEng Computing Year 3) Neil Sayers (MEng Computing Year 3)
David Howarth Group Project Prize Awarded for excellence in group projects in the third-year.	Alexander Harkness (MEng Computing Year 3) Giovanni Caruso (MEng Computing Year 3) Iurii Maksymets (MEng Computing Year 3) Moritz Langenstein (MEng Computing Year 3) Muhammed Rahman (MEng Computing Year 3) Tiger Wang (MEng Computing Year 3) Supervisor: Dr. Holger Pirk https://www.youtube.com/watch?v=iEpZdwoAKJg
The Aspect Capital Project Prize Awarded for an outstanding final year undergraduate individual project. Sponsord by Aspect Capital	Anson Miu (MEng Computing Year 4) Type-safe Web Programming Using Routed Multiparty Session Types in TypeScript ‌Supervised by Prof. Nobuko Yoshida. ‌https://www.youtube.com/watch?v=4tg-3aZ0p44&t
ARM Project Prize Awarded annually to an undergraduate student for an outstanding individual project in the area of computer systems. Sponsored by Arm	James Williams (BEng Computing Year 3) Industry Project: Identification of IP addresses using fraudulent geolocation da Supervised by Dr Sergio Maffeis https://www.youtube.com/watch?v=J0qNodNei5k
Microsoft Prize Awarded to a final year student in the Department of Computing for the outstanding individual project. Sponsored by Microsoft	Jordan Spooner (MEng Computing Year 4) Using Answer Set Grammars to Learn Commonsense Knowledge for Hard Coreferencing ‌ ‌Supervisor: Prof. Alessandra Russo
The Winton Capital Applied Undergraduate Project Computing Prize Awarded to a final year undergraduate student for an outstanding individual project in applied computing. Sponsored by Winton Capital	Joel Oksanen (BEng Computing Year 3) Explanations for Review Aggregations with Argumentative Dialogical Agents Supervisor: Prof. Francesca Toni https://www.youtube.com/watch?v=-XoKmp-yt3M&t Pablo Gorostiaga Belio (MEng Computing Year 4) Imitation Learning with Visual Attention for Robot Control Supervisor: Dr. Edward Johns
Donald Davies Prize Awarded annually to JMC students who produce the best final year individual project.	David Angdinata (MEng JMC Year 4) Arithmetic statistics for elliptic curves Supervisor: Prof Toby Gee Isaac van Bakel (MEng JMC Year 4) Formalising Pony's capabilities with regions Supvervisor: Prof. Sophia Drossopoulou ‌
Corporate Partnership Programme Prize for Technical Innovation Awarded for outstanding achievement by a computing student in their final year.	Benito Echarren Serrano (MEng Computing Year 4) Nested Multiparty Session Programming in Go Supervisor: Prof Nobuko Yoshida
Corporate Partnership Programme Prize The departmental prize for excellence in project work.	Alexis Marinoiu (MEng Computing Year 4) Continuous Reasoning for Real-World Program Analysis Tools Aurel Bílý (MEng Computing Year 4) Modern Garbage Collector for HashLink and its Formal Verification ‌Calin Farcas (MEng Computing Year 4) An Investigation into Adding Exception Handling to Haskell ‌Dmitrii Usynin (MEng Computing Year 4) https://www.youtube.com/watch?v=cAa-h9k68U4&t ‌Ross Irwin (MEng Computing Year 4)

Prize

Winners

IBM 2nd year group project prize

Awarded to a second-year project group for the best third term project.

Aditya Goel (MEng Computing Year 2)
Arjun Banerjee (MEng Computing Year 2)
Mayank Sharma (MEng Computing Year 2)
Rini Banerjee (MEng JMC Year 2)

https://www.youtube.com/watch?v=OrIlBWddZ0I

Olav Beckmann Project Prize

Awarded annually for outstanding second-year undergraduate laboratory project work (individual or group).

Andreas Casapu (MEng Computing Year 2)
Bruno Da Rocha Paiva (MEng JMC Year 2)
Judicael Clair (MEng JMC Year 2)
Ruiyang (Jason) Xu (MEng JMC Year 2)

Palantir Forward Group Project Prize

Awarded to an outstanding third-year group project for software engineering excellence applied to solve an important real-world problem.
Sponsored by Palantir

Daniel Hails (MEng Computing Year 3)
Harry Black (MEng Computing Year 3)
James Dalboth (MEng Computing Year 3)
Matthew Ho (MEng Computing Year 3)
Matthew Malarkey (MEng Computing Year 3)
Neil Sayers (MEng Computing Year 3)

David Howarth Group Project Prize

Awarded for excellence in group projects in the third-year.

Alexander Harkness (MEng Computing Year 3)
Giovanni Caruso (MEng Computing Year 3)
Iurii Maksymets (MEng Computing Year 3)
Moritz Langenstein (MEng Computing Year 3)
Muhammed Rahman (MEng Computing Year 3)
Tiger Wang (MEng Computing Year 3)

Supervisor: Dr. Holger Pirk

https://www.youtube.com/watch?v=iEpZdwoAKJg

The Aspect Capital Project Prize

Awarded for an outstanding final year undergraduate individual project.
Sponsord by Aspect Capital

Anson Miu (MEng Computing Year 4)
Type-safe Web Programming Using Routed Multiparty Session Types in TypeScript
‌Supervised by Prof. Nobuko Yoshida.

‌https://www.youtube.com/watch?v=4tg-3aZ0p44&t

ARM Project Prize

Awarded annually to an undergraduate student for an outstanding individual project in the area of computer systems.
Sponsored by Arm

James Williams (BEng Computing Year 3)
Industry Project: Identification of IP addresses using fraudulent geolocation da
Supervised by Dr Sergio Maffeis
https://www.youtube.com/watch?v=J0qNodNei5k

Microsoft Prize

Awarded to a final year student in the Department of Computing for the outstanding individual project.
Sponsored by Microsoft

Jordan Spooner (MEng Computing Year 4)
Using Answer Set Grammars to Learn Commonsense Knowledge for Hard Coreferencing ‌

‌Supervisor: Prof. Alessandra Russo

The Winton Capital Applied Undergraduate Project Computing Prize

Awarded to a final year undergraduate student for an outstanding individual project in applied computing.
Sponsored by Winton Capital

Joel Oksanen (BEng Computing Year 3)
Explanations for Review Aggregations with Argumentative Dialogical Agents
Supervisor: Prof. Francesca Toni
https://www.youtube.com/watch?v=-XoKmp-yt3M&t

Pablo Gorostiaga Belio (MEng Computing Year 4)
Imitation Learning with Visual Attention for Robot Control
Supervisor: Dr. Edward Johns

Donald Davies Prize

Awarded annually to JMC students who produce the best final year individual project.

David Angdinata (MEng JMC Year 4)
Arithmetic statistics for elliptic curves
Supervisor: Prof Toby Gee

Isaac van Bakel (MEng JMC Year 4)
Formalising Pony's capabilities with regions

Supvervisor: Prof. Sophia Drossopoulou
‌

Corporate Partnership Programme Prize for Technical Innovation

Awarded for outstanding achievement by a computing student in their final year.

Benito Echarren Serrano (MEng Computing Year 4)
Nested Multiparty Session Programming in Go
Supervisor: Prof Nobuko Yoshida

Corporate Partnership Programme Prize

The departmental prize for excellence in project work.

Alexis Marinoiu (MEng Computing Year 4)
Continuous Reasoning for Real-World Program Analysis Tools
Aurel Bílý (MEng Computing Year 4)
Modern Garbage Collector for HashLink and its Formal Verification ‌Calin Farcas (MEng Computing Year 4)
An Investigation into Adding Exception Handling to Haskell
‌Dmitrii Usynin (MEng Computing Year 4)
https://www.youtube.com/watch?v=cAa-h9k68U4&t
‌Ross Irwin (MEng Computing Year 4)

2020 - 2021 Distinguished Projects

Project Status	Winners (PDF)
Distinguished projects Projects that are outstanding in terms of technical achievement and presentation are awarded "Distinguished" status.	Radhika Patel, Automatic Classification of Illustrative Sentences using Computational Literary‌‌ Momo Langenstein, Communication-free and Parallel Simulation of Neutral Biodiversity Models‌‌ Gregory Filbrandt, Deep Learning for Automatic Contouring of Tumours and Structures at Risk‌‌ Peter He, Do Androids Dream of Electric Fences‌‌ Kexin Gu, HACR - Hybrid Architecture for Concept Reasoning‌‌ Jamal Mulla, High Performance Simulation of Focal-Plane Sensor-Processor Architectures‌‌ Kelvin Zhang, Kubedim Self-Adaptive Service Degradation of Microservices-Based Systems‌‌ Julie Emile, MarioQASP - Symbolic Learning for Video Question and Answering‌‌ Alvin Lee, Mitigating IoT Environment Mistrust Attacks on Voice Assistants‌ Jasmine Quah, Model Compression and Error Correction for the DNA Storage Channel‌ Victor-Gabriel Apostol, Multi-Stage Differential Privacy for Federated Learning‌ Haazim Tungekar, Multimodal Emotion Recognition from Visual and Textual Data‌ Ivan Kapelyukh, My House, My Rules - Learning Tidying Preferences with Graph Neural Networks‌ Gauthier Bonvarlet, Option Pricing Calibration with Neural SDEs‌ Pablo Gamito, Pinkman - A Robust Decentralized Leveraged Yield Farming Platform‌ Zak Cutner, Safe Session-Based Asynchronous Coordination in Rust‌ Esther Wong, State-space decomposition in Reinforcement Learning India Marsden, Symbolic and Numerical Representation of Dual Spaces in the Unified Form ‌ William Burr, Transformer-Based Correction & Selection of ASR Hypotheses For Open-Domain‌ Brandon Forbes, Unsupervised Knowledge Graph Construction for Interpretable Question Answering ‌ Hannah Schlueter, Spotting the Unexpected - Self-Supervised Anomaly Detection and Localisation in Images Judicael Clair, CORE Haptic Object Reconstruction Rajat Rasal, Deep Structural Causal Models for Counterfactual Mesh Generation James Langley, Structured Uncertainty in the Observation Space of Variational Autoencoders Penelope Tay Li-Ane, Automatic Repair of High-Resolution Meshes Martin Piala, Ray Intersection Prediction for Efficient Rendering of Neural Radiance Fields David Davies, Theorem proving with classical logic Meenatchi Muthu Selva Annamalai, Studying information leakage in differentially private mechanisms Miruna Rusu, Identification learning: User identification in smart-meter data Arthur Drozdov, OLAPH: Online Learning of Anomaly Policies from Historical data Matthew Yeo, Verification of neural-symbolic agent-based systems ‌

2020 - 2021 Individual Prizes

Prize	Winners
Governors' Prize For the annual award to the final year students with the best overall performance on the BEng Mathematics and Computer Science/MEng Mathematics and Computer Science.	Judicael Clair (BEng JMC Year 3) Meenatchi Muthu Selva Annamalai (BEng Computing Year 3) Hannah Schlueter (MEng JMC Year 4) Momo Langenstein (MEng Computing Year 4)
The Centenary Prize Awarded annually to a final year undergraduate student for outstanding overall performance.	William Burr (MEng Computing Year 4)
Adrian Israel Memorial Prize Awarded annually for excellence in the first year.	Dhruv Saraff (MEng Computing Year 1)
Joint Honours Mathematics and Computer Science First, Second and Third Year Prizes Awarded for excellence in the first, second and third year of the JMC.	Vlad Coroian (MEng JMC Year 1) Nicholas Duer (MEng JMC Year 2) Aporva Varshney (MEng JMC Year 3)
G-Research Ltd Prize Awarded annually to up to ten non-final year students of each of the departments of Computing, Mathematics and Physics for academic excellence.	Filippo Selvatici Kartik Iyer Thomas Cobley Kaiyan Fan Bartlomiej Cieslar Jules Dehon Adrian Boroica Ethan Weitzman Hao Chen Edward Hartley
Arm Project Prize For annual award to an undergraduate student for an outstanding individual project in the area of computer systems	Kelvin Zhang (MEng Computing Year 4)
The Aspect Capital Project Prize Awarded for an outstanding final year undergraduate individual project. Sponsord by Aspect Capital	Momo Langenstein (MEng Computing Year 4)
Huawei Compiler Project Prize Awarded to a final year student for an outstanding final year project on compilers. Sponsored by Huawei	Jamal Mulla (MEng Computing Year 4)
IBM Prize Awarded for outstanding achievement in an individual project by an undergraduate student in the Department of Computing Sponsored by IBM	Brandon Forbes (MEng Computing Year 4)
Microsoft Prize Awarded to a final year student in the Department of Computing for the outstanding individual project. Sponsored by Microsoft	Zak Cutner (MEng Computing Year 4)
Solidatus Project Prize Awarded for a remarkable fourth year project – For a student who has demonstrated a novel academic solution with an intuitive presentation Sponsored by Solidatus	James Langley (MEng Computing Year 4)
Splunk Prize An excellent undergraduate individual project in the area of data science and machine learning Sponsored by Splunk	Hannah Schlueter (MEng JMC Year 4)
The Winton Capital Applied Undergraduate Project Computing Prize Awarded to a final year undergraduate student for an outstanding individual project in applied computing. Sponsored by Winton Capital	Meenatchi Muthu Selva Annamalai (BEng Computing Year 3) Penelope Tay Li-Ane
Donald Davies Prizes Awarded annually to JMC students who produce the best final year individual project.	David Davies (MEng JMC Year 4) India Marsden (MEng JMC Year 4)
Corporate Partership Programme Project Prize The departmental prize for excellence in project work.	Martin Piala Miruna Rusu Victor-Gabriel Apostol Muhammad Haazim Tungekar Alvin Lee Gauthier Bonvarlet Esther Wong Arthur Drozdov Jasmine Quah

2021 - 2022 Distinguished Projects

Project Status	Winners (PDF)
Distinguished projects Projects that are outstanding in terms of technical achievement and presentation are awarded "Distinguished" status.	O'Sullivan, Arran, Chainlog - A Logic-based Smart Contract Language Chua, Wilson, Analytics for Urban Networks - Integrating Graph Neural Networks with Space Syntax Banerjee, Arjun, FedGDKD - Federated GAN-Based Data-Free Knowledge Distillation for Heterogeneous Models Bujel, Kamil, Finding the Needle in a Haystack - Zero-shot Rationale Extraction for Long Text Classifiers Varshney, Aporva, The Geometry of Berkovich Analytic Spaces Parac, Roko, Automatic Concept Extraction and Its Use in Explaining Video Classification Rusch, Dominic, Detecting Source Code Plagiarism From Online Software Repositories Goel, Aditya, Model Aligned Offline Reinforcement Learning (MAORL) Williams, Casey, Quasi-Monte Carlo methods for calculating derivatives sensitivities on the GPU Wu, Stacey, Better than registers - designing an instruction set to make o-o-o microarchitecture simpler and faster Blanchard, Lancelot, GenFastLAS - Scaling up the FastLAS system to large feature spaces, and application to Symbolic Music Genre Classification La Scala, Giacomo, Variational Time-Steppers that are Finite Element in Time for Firedrake and Irksome Sharma, Mayank, RustSmith - a Randomized Program Generator for Rust Mohsin, Hasan, WGSLsmith - a Random Generator of WebGPU shader programs Mishra, Manuj, Self-classifying point clouds

2021 - 2022 Group Prizes

Prize	Winners
Ocado Technology Group Project Prize Awarded to an Outstanding Third Year Group Project for Software Engineering Excellence.	James Ball Pawel Kroll Jessica Lally Stefan Radziuk Sudarshan Sreeram Andy Wang
Olav Beckmann Project Prize Awarded annually for outstanding second-year undergraduate laboratory project work (individual or group).	Oliver Killane Robbie Buxton Jordan Hall Archie Licudi Bartlomiej Cieslar
David Howarth Group Project Award Awarded for excellence in group projects in third-year undergraduate Computing.	Alex Usher Yuan Chen Sophie Elliott Rohan Gupta Apoorva Verma Vincent Wang Hana Watson

2021 - 2022 Individual Prizes

Prize	Winners
Governors' Prize For the annual award to the final year students with the best overall performance on the BEng Mathematics and Computer Science/MEng Mathematics and Computer Science.	Manuj Mishra Alyssa Renata Aporva Varshney Tristan Wride
The Distinguished Final Year Project Prize Awarded to a final year student for an outstanding final year individual project in the Department of Computing.	Theo Charalambous
The Centenary Prize Awarded annually to a final year undergraduate student for outstanding overall performance.	Wilson Chua
Adrian Israel Memorial Prize Awarded annually for excellence in the first year.	Steven Chen
Joint Honours Mathematics and Computer Science First, Second, and Third Year Prizes Awarded for excellence in the first, second and third year of the JMC.	Zhanrong Qiao Vlad Coroian Andrew Elkadi Zlatina Mileva
ARM Project Prize For the annual award to an undergraduate student for an outstanding individual project in the area of computer systems	Rini Banerjee
The Aspect Capital Project Prize Awarded for an outstanding final year undergraduate individual project. Sponsored by Aspect Capital	Kamil Bujel
Huawei Compiler Project Prize Awarded to a final year student for an outstanding final year project on compilers. Sponsored by Huawei	Arran O'Sullivan
IBM Prize Awarded for outstanding achievement in an individual project by an undergraduate student in the Department of Computing Sponsored by IBM	Alyssa Renata
Microsoft Prize Awarded to a final year student in the Department of Computing for the outstanding individual project. Sponsored by Microsoft	Arjun Banerjee
Solidatus Project Prize Solidatus prize for a remarkable fourth-year project – For a student who has demonstrated a novel academic solution with an intuitive presentation (e.g. slick demo, visualisations, charts, or diagrams etc.)	Wilson Chua
Solidatus Second Year Award Awarded to student who has demonstrated exceptional software engineering talent during their second year	Deepro Choudhury
Splunk Prize An excellent undergraduate individual project in the area of data science and machine learning Sponsored by Splunk	Avril Wong Hui Ning
The Winton Capital Applied Undergraduate Project Computing Prize Awarded to a final year undergraduate student for an outstanding individual project in applied computing. Sponsored by Winton Capital	Calin Biberea Aporva Varshney
Corporate Partnership Programme Award Departmental Award for Excellence in Project Work.	Bruno da Rocha Paiva Clara Lebbos Nicolas D'Cotta Dominic Rusch Aditya Goel Casey Williams Matyas Horkay Mayank Sharma Hasan Mohsin Manuj Mishra Amelia Khavari Tristan Wride
CGCA & Old Centralians' Trust: Student Activity Awards Awarded to the students judged by the Senior Tutor & HoD to be most active in student affairs.	Lizzie Williams
Henry Johnson Memorial Prize For the annual award to the undergraduate or postgraduate student of the Department of Computing who has shown the greatest endeavour in pursuit of their studies.	Reece Jackson
G-RESEARCH Ltd Prize For the annual award to up to ten non-final year students of each of the departments of Computing, Mathematics and Physics for academic excellence.	Pratyaksh Sharma Dhruv Jimulia Ruchit Tandon Jyry Hjelt Xingjian Xie Yitang Chen Omran Arzomand Archie Licudi Shiv Bhatia Tony Liu
Well-being Award The well-being award is a new award set by the Computing Department to recognise the excellent contribution to the improvement and promotion of the well-being of our student community.	Prabhjot Grewal Arjun Banerjee

Prize

Winners

Governors' Prize

For the annual award to the final year students with the best overall performance on the BEng Mathematics and Computer Science/MEng Mathematics and Computer Science.

Manuj Mishra
Alyssa Renata
Aporva Varshney
Tristan Wride

The Distinguished Final Year Project Prize

Awarded to a final year student for an outstanding final year individual project in the Department of Computing.

Theo Charalambous

The Centenary Prize

Awarded annually to a final year undergraduate student for outstanding overall performance.

Wilson Chua

Adrian Israel Memorial Prize

Awarded annually for excellence in the first year.

Steven Chen

Joint Honours Mathematics and Computer Science First, Second, and Third Year Prizes

Awarded for excellence in the first, second and third year of the JMC.

Zhanrong Qiao

Vlad Coroian

Andrew Elkadi

Zlatina Mileva

ARM Project Prize

For the annual award to an undergraduate student for an outstanding individual project in the area of computer systems

Rini Banerjee

The Aspect Capital Project Prize

Awarded for an outstanding final year undergraduate individual project.
Sponsored by Aspect Capital

Kamil Bujel

Huawei Compiler Project Prize

Awarded to a final year student for an outstanding final year project on compilers.
Sponsored by Huawei

Arran O'Sullivan

IBM Prize

Awarded for outstanding achievement in an individual project by an undergraduate student in the Department of Computing
Sponsored by IBM

Alyssa Renata

Microsoft Prize

Awarded to a final year student in the Department of Computing for the outstanding individual project.
Sponsored by Microsoft

Arjun Banerjee

Solidatus Project Prize

Solidatus prize for a remarkable fourth-year project – For a student who has demonstrated a novel academic solution with an intuitive presentation (e.g. slick demo, visualisations, charts, or diagrams etc.)

Wilson Chua

Solidatus Second Year Award

Awarded to student who has demonstrated exceptional software engineering talent during their second year

Deepro Choudhury

Splunk Prize

An excellent undergraduate individual project in the area of data science and machine learning
Sponsored by Splunk

Avril Wong Hui Ning

The Winton Capital Applied Undergraduate Project Computing Prize

Awarded to a final year undergraduate student for an outstanding individual project in applied computing.
Sponsored by Winton Capital

Calin Biberea
Aporva Varshney

Corporate Partnership Programme Award

Departmental Award for Excellence in Project Work.

Bruno da Rocha Paiva
Clara Lebbos
Nicolas D'Cotta
Dominic Rusch
Aditya Goel
Casey Williams
Matyas Horkay
Mayank Sharma
Hasan Mohsin
Manuj Mishra
Amelia Khavari
Tristan Wride

CGCA & Old Centralians' Trust: Student Activity Awards

Awarded to the students judged by the Senior Tutor & HoD to be most active in student affairs.

Lizzie Williams

Henry Johnson Memorial Prize

For the annual award to the undergraduate or postgraduate student of the Department of Computing who has shown the greatest endeavour in pursuit of their studies.

Reece Jackson

G-RESEARCH Ltd Prize

For the annual award to up to ten non-final year students of each of the departments of Computing, Mathematics and Physics for academic excellence.

Pratyaksh Sharma
Dhruv Jimulia
Ruchit Tandon
Jyry Hjelt
Xingjian Xie
Yitang Chen
Omran Arzomand
Archie Licudi
Shiv Bhatia
Tony Liu

Well-being Award

The well-being award is a new award set by the Computing Department to recognise the excellent contribution to the improvement and promotion of the well-being of our student community.

Prabhjot Grewal
Arjun Banerjee

2022 - 2023 Group Prizes

Prize	Winners
Ocado Technology Group Project Prize Awarded to an Outstanding Third Year Group Project for Software Engineering Excellence.	Karim Selih Adam Alilou Shiv Bhatia Konstantinos Koupepas Szymon Kubica Devin Thomas
Olav Beckmann Project Prize Awarded annually for outstanding second-year undergraduate laboratory project work (individual or group).	Zak Stasa Taichi Maeda Matthew Tate Jyry Hjelt
David Howarth Group Project Award Awarded for excellence in group projects in third-year	Siddharth Sharma Khemi Chew Mihnea Ghitu Dilshaan Grewal Ioana Mihailescu Alan Weng
Amadeus 2nd Year Group Project Award Awarded for excellence in group projects in 2nd-year	Huzaifah Farooq Gabriel de Olim Gaul Krish Maha Shruti Pradhan

2022 - 2023 Individual Prizes

Prize	Winners
Governors' Prize For the annual award to the final year students with the best overall performance on the BEng Mathematics and Computer Science/MEng Mathematics and Computer Science.	Tony Liu Filippo Selvatici Nicholas Duer Cobley Thomas
The Distinguished Final Year Project Prize Awarded to a final year student for an outstanding final year individual project in the Department of Computing.	Stefan Radziuk Ioana Mocanu
The Centenary Prize Awarded annually to a final year undergraduate student for outstanding overall performance.	Alex Constantin-Gomez
Adrian Israel Memorial Prize Awarded annually for excellence in the first year.	Yejun Kang
Joint Honours Mathematics and Computer Science First, Second, and Third Year Prizes Awarded for excellence in the first, second and third year of the JMC.	Nicolas Schleicher Martin Slomczykowski Vlad Coroian
ARM Project Prize For the annual award to an undergraduate student for an outstanding individual project in the area of computer systems	Sudarshan Sreeram
The Aspect Capital Project Prize Awarded for an outstanding final year undergraduate individual project. Sponsored by Aspect Capital	Devam Savjani
Huawei Compiler Project Prize Awarded to a final year student for an outstanding final year project on compilers. Sponsored by Huawei	Andrei-Florin Sburlan
Solidatus Project Prize Solidatus prize for a remarkable fourth-year project – For a student who has demonstrated a novel academic solution with an intuitive presentation (e.g. slick demo, visualisations, charts, or diagrams etc.)	Tom Bailey
Solidatus Second Year Award Awarded to student who has demonstrated exceptional software engineering talent during their second year	Tang Boxuan
Splunk Prize An excellent undergraduate individual project in the area of data science and machine learning Sponsored by Splunk	Izabella Kacprzak
The Winton Capital Applied Undergraduate Project Computing Prize Awarded to a final year undergraduate student for an outstanding individual project in applied computing. Sponsored by Winton Capital	Adam Gould James Ball
Marshall Wace Prize Annual award for the an outstanding individual project by a final year undergraduate student in the Department of Computing	Zlatina Mileva
Minimax Labs Project Prize Awarded for an excellent project showcasing algorithmic development and engineering, or scientific computation	Alex Usher Andrew Elkadi

Corporate Partnership Programme Award Departmental Award for Excellence in Project Work.	Jessica Lally Nicholas Duer Luqman Liaquat Lukasz Jakubowski Daniel Ababei Jordan Hall Lewis Ng Rohan Gupta Bianca-Mihaela Ganescu Abhinand Shibu Tiberiu Bucur Lynna Xie
CGCA & Old Centralians' Trust: Student Activity Awards Awarded to the students judged by the Senior Tutor & HoD to be most active in student affairs.	Naman Sharma Zaki Amin
Henry Johnson Memorial Prize For the annual award to the undergraduate or postgraduate student of the Department of Computing who has shown the greatest endeavour in pursuit of their studies.	Tabs Goldman
G-RESEARCH Prize For the annual award to up to ten non-final year students of each of the departments of Computing, Mathematics and Physics for academic excellence.	Yejun Kang Justin Keung Jerome Leow Angus Leung Abdelkareem Dabbas Christopher Austin Zak Stasa Boxuan Tang Jyry Hjelt Prem Jagadeesh
Well-being Award The well-being award is a new award set by the Computing Department to recognise the excellent contribution to the improvement and promotion of the well-being of our student community.	Harry Coppock Mike Buzadji

2022- 2023 Distinguished UG projects

Project Status	Winners
Distinguished projects Projects that are outstanding in terms of technical achievement and presentation are awarded "Distinguished" status.	Radziuk, Stefan, A Sound and Progressful WebAssembly Interpreter for a Future-Proof Mechanisation Mocanu, Ioana, Exploring the Relative Expressivity of Grammars: An Analysis through Functors, Applicatives, Arrows, and Monads Gould, Adam, Arguing with physical activity data from a real-world wearable clinical trial with patients with a primary brain tumour Mileva, Zlatina, A Unifying Framework for Learning Argumentation Semantics Usher, Alex, fuzz-d Random Program Generation for Testing Dafny Dickie, Charles, Aggregating Bipolar Opinions by Arguing Ball, James, Generating Histopathology Images With Segmentation Masks, and Gigapixel Images With Ultra-Resolution Cascaded Diffusion Models Elkadi, Andrew, Quantum Approximate Optimisation for Boolean Satisfiability Bailey, Tom, Covrig 2.0: How does software evolve? Sreeram, Sudarshan, Accelerating on-device medical imaging using compressed deep learning models Savjani, Devam, An Empirical Analysis of Mean Reversion Strategies for Pairs Trading in Decentralised Exchanges Kacprzak, Izabella, Counterfactual data augmentation for deep learning predictive models Lally, Jessica, Explainable Reinforcement Learning Through Causality Xie, Lynna, Exploration of New Formulations in Quantum Computer Vision Duer, Nicholas, Tiling in time - improving data locality in computational science applications, in 4D Sburlan, Andrei-Florin, Discovering Predictive Patterns A Study of Contextual Factors for Next Generation Branch Predictors Liaquat, Luqman, Automated Diagnostics of Vulnerabilities in Browser-Based Security Mechanisms Jakubowski, Lukasz, In Search of the Heart's Map: Deep Learning for Anatomical Structure Contouring in Fetal Cardiac Analysis Ababei, Daniel, Cybersecurity Attack Graph Representation and Generation Hall, Jordan, A staged selective parser combinator library for the Rust programming language Ng, Lewis, Predicting depression recovery with brain scan data during psychedelic therapy Gupta, Rohan, An Intelligent And Interactive Tutoring System For Sign Language Ganescu, Bianca-Mihaela, snarkGPT: Zero-Knowledge Proofs for the Inference Phase of Transformers Christofides Paton, Peter, Investigating numerical methods in score-based models Shibu, Abhinand, Ginkgo & Questionary - Adaptive Educational Systems Bucur, Tiberiu, Gillian Shared Memory Concurrency

Project Status

Winners

Distinguished projects

Projects that are outstanding in terms of technical achievement and presentation are awarded "Distinguished" status.

Radziuk, Stefan, A Sound and Progressful WebAssembly Interpreter for a Future-Proof Mechanisation

Mocanu, Ioana, Exploring the Relative Expressivity of Grammars: An Analysis through Functors, Applicatives, Arrows, and Monads

Gould, Adam, Arguing with physical activity data from a real-world wearable clinical trial with patients with a primary brain tumour

Mileva, Zlatina, A Unifying Framework for Learning Argumentation Semantics

Usher, Alex, fuzz-d Random Program Generation for Testing Dafny

Dickie, Charles, Aggregating Bipolar Opinions by Arguing

Ball, James, Generating Histopathology Images With Segmentation Masks, and Gigapixel Images With Ultra-Resolution Cascaded Diffusion Models

Elkadi, Andrew, Quantum Approximate Optimisation for Boolean Satisfiability

Bailey, Tom, Covrig 2.0: How does software evolve?

Sreeram, Sudarshan, Accelerating on-device medical imaging using compressed deep learning models

Savjani, Devam, An Empirical Analysis of Mean Reversion Strategies for Pairs Trading in Decentralised Exchanges

Kacprzak, Izabella, Counterfactual data augmentation for deep learning predictive models

Lally, Jessica, Explainable Reinforcement Learning Through Causality

Xie, Lynna, Exploration of New Formulations in Quantum Computer Vision

Duer, Nicholas, Tiling in time - improving data locality in computational science applications, in 4D

Sburlan, Andrei-Florin, Discovering Predictive Patterns A Study of Contextual Factors for Next Generation Branch Predictors

Liaquat, Luqman, Automated Diagnostics of Vulnerabilities in Browser-Based Security Mechanisms

Jakubowski, Lukasz, In Search of the Heart's Map: Deep Learning for Anatomical Structure Contouring in Fetal Cardiac Analysis

Ababei, Daniel, Cybersecurity Attack Graph Representation and Generation

Hall, Jordan, A staged selective parser combinator library for the Rust programming language

Ng, Lewis, Predicting depression recovery with brain scan data during psychedelic therapy

Gupta, Rohan, An Intelligent And Interactive Tutoring System For Sign Language

Ganescu, Bianca-Mihaela, snarkGPT: Zero-Knowledge Proofs for the Inference Phase of Transformers

Christofides Paton, Peter, Investigating numerical methods in score-based models

Shibu, Abhinand, Ginkgo & Questionary - Adaptive Educational Systems

Bucur, Tiberiu, Gillian Shared Memory Concurrency

Undergraduate archive

archive accordions