Data source: The table below is automatically generated from the Research_Students table on the departmental SQL server, maintained by Lise Gough, to whom enquiries about these records should be addressed.
| student | supervisor (co-supervisor) | second adviser | started | expected finish | subject |
|---|---|---|---|---|---|
| Hugo Aaronson | Dr T. Gur | jv508 | 2023-10-01 | 2025-09-30 | Quantum Algorithms and Proofs with Advantage over Learning |
| Nida Abbasi | Prof. H. Gunes | Prof. A. F. Blackwell | 2020-10-01 | 2025-03-30 | Developing a framework for age-appropriate mental and cognitive wellbeing screening for children - a multimodal robotised approach |
| Salomey Addo | Dr S. E. Sentance | Prof. A. R. Beresford | 2023-01-04 | 2027-01-03 | Investigating pedagogical approaches to teaching the concepts and skills of AI, machine learning and data science |
| Daattavya Aggarwal | Dr C. Mishra | Prof. P. Lio' | 2023-10-01 | 2027-09-30 | Quantum Computation & Machine Learning for String Geometry |
| Sami Alabed | Dr E. Yoneki | Prof. J. A. Crowcroft | 2019-10-01 | 2023-09-30 | Intelligent distributed stream processors |
| Preslav Aleksandrov | Prof. N. D. Lane | TBC | 2024-01-05 | 2028-01-04 | Hardware-aware Network Architecture Search for ML Training Workloads |
| Anwaar Ali | Prof. J. A. Crowcroft, Dr A. Sathiaseelan | Dr J. Singh, Prof. R. J. Anderson | 2017-04-17 | 2021-07-31 | Effective governance by and of blockchain |
| Riccardo Maria Ali | Prof. J. Vicary | Prof. P. Lio | 2024-10-01 | 2028-09-30 | Categorical structures in machine learning |
| Mahwish Arif | Prof. T. M. Jones | 2020-10-01 | 2025-03-31 | A full-coverage, low-overhead and accessible software framework for binary security | |
| Rosie Baish | Prof. R. N. Watson | Prof. P. M. Sewell | 2022-10-01 | 2028-06-16 | Extending the C standards to increase safety |
| Mantas Baksys | Dr S. B. Holden | Prof. M. Jamnik | 2024-10-01 | 2028-09-30 | Machine Learning for Automated Theorem Proving in Expressive Logics |
| Rini Banerjee | Prof. P. M. Sewell | Prof. N. Krishnaswami | 2022-10-01 | 2026-09-30 | Executable separation-logic specification |
| Ahmet Canberk Baykal | Prof. A. C. Oztireli | Prof. A. F. Blackwell | 2023-10-01 | 2027-09-30 | Interfaces for visual content generation with text encoders |
| Jasmine Bayrooti | Prof. A. S. Prorok | Prof. R. D. Mullins | 2022-10-01 | 2026-09-30 | Optimising Incentives to Balance Self-Interest and Cooperation in Multi-Agents |
| Stefan Behfar | Prof. R. M. Mortier, Prof. J. A. Crowcroft | Prof. A.V. S. Madhavapeddy | 2025-01-04 | 2029-01-03 | Generative Modeling with DAGs for Creative Content Generation |
| Jacob Bennett-Woolf | Dr J. D. Yallop | 2024-10-01 | 2027-12-31 | Optimizing Functions via Relatively Indexed Types | |
| Anaïs-Marie Berkes | Prof. S. Keshav | Prof. A. V. S. Madhavapeddy | 2023-10-01 | 2027-09-30 | Layout, sizing and operation of energy systems in multiple-family residential housing |
| David Berry | Prof. M. P. Fiore | Prof. A. M. Pitts and Dr J. Vicary | 2021-10-01 | 2025-09-30 | Normalisation for Two-Dimensional Simple Type Theory |
| Matteo Bettini | Prof. A. S. Prorok | Prof. M. Jamnik | 2021-10-01 | 2025-09-30 | Neural diversity in multi-agent systems |
| Daniel Beutel | Prof. N. D. Lane | Prof. A. V. S. Madhavapeddy | 2022-10-01 | 2026-12-30 | The Design and Architecture of a Scalable Modular Federated Learning Framework |
| Siddharth Bhat Mala | Dr T. C. Grosser | Prof. P. M. Sewell | 2024-01-05 | 2027-01-04 | Rethinking End To End Compiler Verification |
| Peter Blandford-Baker | Prof. R. N. Watson | Prof. S. W. Moore | 2020-10-01 | 2024-09-30 | Enabling High-Performance Software Compartmentalization using CHERI Co-Processes |
| Virginia Blessing | Prof. A. R. Beresford | Dr A. Hutchings | 2021-10-01 | 2025-09-30 | Anonymous Communications for Mobile Devices |
| Justas Brazauskas | Prof. A. F. Blackwell, Per Ola Kristensson | Prof. R. M. Mortier | 2022-10-01 | 2026-09-30 | Human-Centric Design of Digital Twins |
| Jason Brown | Prof. R. D. Mullins | Prof. A. S. Prorok | 2023-10-01 | 2027-09-30 | Reward Learning from Multiple Types of Human Feedback |
| David Buterez | Prof. P. Lio' | Prof. M. Jamnik | 2020-10-01 | 2024-09-30 | |
| Yancheng Cai | Prof. R. K. Mantiuk | Dr D. J. Wischik | 2023-10-01 | 2027-09-30 | Advanced Display Evaluation: Modeling Based on Human Visual Perception Science |
| Joseph Cameron | Prof. A. F. Blackwell | Dr P. Harrison (Music); Dr A. C. Oztereli | 2024-10-01 | 2028-09-30 | Synthesis and perception of musical timbre |
| Zeyu Cao | Prof. N. D. Lane, Prof. R. D. Mullins | Prof. T. M. Jones | 2024-10-01 | 2028-09-30 | Rethinking Hardware and Software for the Era of Foundation Models |
| Annabelle Carrell | Dr F. Huszar | Prof. N. D. Lawrence | 2021-10-01 | 2025-09-30 | Towards a Theory of Calibration in Deep Learning |
| Francesco Ceccarelli | Dr S. B. Holden, Prof. P. Lio' | 2023-10-01 | 2026-09-30 | ||
| Eric Chamoun | Prof. A. Vlachos | Prof. E. J. Briscoe | 2022-10-01 | 2026-09-30 | AI-assisted scientific writing |
| Shreya Chappidi | Dr J. Singh | Prof. A. F. Blackwell | 2023-10-01 | 2027-09-30 | Designing for fairness and inclusion in medical AI systems |
| Xinya Chen | Prof. A. C. Oztireli | Prof. A. F. Blackwell (TBC) | 2025-04-17 | Multi Modal Models for 3D Scene Generation | |
| Julius Cheng | Prof. A. Vlachos | Prof. P. J. Buttery | 2021-01-04 | 2025-01-31 | Exploring the use dynamic oracles in imitation learning |
| Miruna Cretu | Prof. P. Lio' | 2024-10-01 | 2028-09-30 | Incorporating constraints in generative modelling for molecular design | |
| Kian Cross | Prof. R. N. Watson | Prof. J. A. Crowcroft | 2023-10-01 | 2027-09-30 | Evaluating Compartmentalisation |
| Liangrun Da | M. Kleppmann | Prof. A. R. Beresford | 2025-04-17 | Making Peer-to-Peer Collaborative Applications Byzantine Fault Tolerant | |
| Wei Da | Dr E. Kalyvianaki | Prof. R. M. Mortier | 2023-10-01 | 2027-09-30 | Effective Scheduling for Distributed Model Training and Serving In Modern Data Center |
| Oluwatomisin Dada | Prof. N. D. Lawrence | Dr C. H. Ek | 2022-10-01 | 2026-09-30 | Reinforcement Learning in Disaggregated Energy Systems |
| Richard Diehl Martinez | Prof. P. J. Buttery | Dr W. Sun | 2021-10-01 | 2025-09-30 | Meta-Learning Methods for Low Resource Multi-lingual Language Modeling |
| Andrea Domiter | Prof. S. Keshav | Prof. A. V. S. Madhavapeddy | 2024-10-01 | 2028-09-30 | AI Techniques for Coral Health Monitoring |
| Marco Dos Santos | Prof. M. Jamnik | Prof. A. Vlachos (TBC) | 2024-10-01 | 2028-09-30 | Lemma conjecturing for theorem proving |
| Lukasz Dudziak | Prof. N. D. Lane | Prof. T. M. Jones | 2024-10-01 | 2031-09-30 | Automated methods for designing and optimising deep learning systems under hardware constraints |
| Iulia Duta | Prof. P. Lio' | Prof. C. Mascolo | 2021-10-01 | 2025-09-30 | Exploring the power of hypergraphs for graph-structured data |
| Ioannis Eleftheriadis | Prof. A. Dawar | Dr J. Vicary | 2021-10-01 | 2025-09-30 | Categorical methods in finite model theory |
| Mark Elliott | Prof. P. J. Buttery | Prof. E. J. Briscoe | 2018-04-17 | 2022-04-16 | The application of measurement in the evaluation of automated assessment models |
| Mateo Espinosa Zarlenga | Prof. M. Jamnik | Dr S. B. Holden | 2021-10-01 | 2025-09-30 | Interpretable Concept-based Neural Architectures for Tabular Tasks |
| Aidan Evans | Prof. A. Dawar | Prof. J. Vicary | 2023-10-01 | 2027-09-30 | On Algebraic Characterizations of Complexity Classes |
| Gregor Feierabend | Prof. M. P. Fiore | Dr N. Krishnaswami (TBA) | 2024-10-01 | 2028-09-30 | Control effects |
| Zhengpeng Feng | Prof. S. Keshav | Prof. A. V. S. Madhavapeddy | 2024-10-01 | 2028-09-30 | Multi-Task and -Modal Deep Learning for Smartphone-based DBH Estimation |
| Patrick Ferris | Prof. A. V. S. Madhavapeddy | Prof. S. Keshav | 2023-10-01 | 2027-09-30 | Systems for reproducible and accessible geospatial science |
| Dmitry Filippov | Dr P. Murali | Dr T. Gur | 2025-01-04 | 2029-01-03 | Simulation and optimization of quantum algorithms |
| Arduin Findeis | Prof. S. Keshav | Prof. J. A. Crowcroft | 2021-10-01 | 2025-09-30 | Using Reinforcement Learning to Control Towards generalist building control |
| Michael Christian Fink Amores | Prof. A. R. Beresford | 2023-10-01 | 2027-09-30 | Towards privacy of location data in location-based systems | |
| Hanna Foerster | Prof. R. D. Mullins | Prof. N. D. Lane | 2024-10-01 | 2028-09-30 | Security and machine learning. Specifically model extraction techniques and defenses |
| Kyle Fogarty | Prof. A. C. Oztireli | Prof. R. K. Mantiuk | 2022-10-01 | 2026-09-30 | Neural geometry processing |
| Tengjiao Fu | Prof. T. M. Jones | Prof. R. D. Mullins | 2025-04-17 | Frontend prefetching for data-centre applications | |
| Laurence Gale | Dr S. E. Sentance, TBA | Prof. A. R. Beresford | 2022-10-01 | 2026-09-30 | Towards improving the teaching and learning of debugging for secondary school learners |
| Dapeng Gao | Prof. R. N. Watson | Prof. S. W. Moore | 2021-10-01 | 2025-09-30 | Software compartmentalisation for CHERI |
| Hongyun Gao | Prof. R. K. Mantiuk | Prof. A. C. Oztireli | 2022-01-04 | 2026-01-03 | Towards Higher Quality Images via Dual Sensors |
| Yuan Gao | Dr W. Sun | Prof. S. H. Teufel | 2023-01-04 | 2027-01-03 | Knowledge-driven tutorial dialogue system |
| Zhan Gao | Prof. A. S. Prorok | Dr T. M. Sauerwald | 2022-10-01 | 2026-09-30 | Environment co-optimization for multi-agent learning |
| Gabrielle Gaudeau | Prof. P. J. Buttery | Dr A. P. Caines | 2023-10-01 | 2027-09-30 | Let’s Agree to Disagree: Beyond the Gold Standard in Analytic Automated Essay Scoring |
| Jad Elkhaleq Ghalayini | Prof. N. Krishnaswami | Prof. P. M. Sewell | 2021-10-01 | 2025-09-30 | Semantics and refinement types for compiler Irs |
| Ryan Gibb | Prof. A. V. S. Madhavapeddy | Prof. J. A. Crowcroft | 2022-10-01 | 2026-09-30 | Interspatial networking |
| Jennifer Gielis | Prof. A. S. Prorok | awm11 | 2021-10-01 | 2025-09-30 | Coupled Navigation-Networking Techniques for Mobile Robot Systems |
| Fazilet Gokbudak | Prof. A. C. Oztireli | Dr H. Gunes | 2020-10-01 | 2024-09-30 | Data-efficient Neural Appearance Manipulations |
| Zebulon Goriely | Prof. P. J. Buttery | Prof. S. H. Teufel | 2021-10-01 | 2025-09-30 | Transformer Language Models and Child Language Acquisition |
| Katherine Green | Prof. A. S. Prorok, Dr Simeon Hill (BAS) | Prof. E. Shuckburgh | 2021-10-01 | 2026-01-30 | Understanding Ecosystem Dynamics for Marine Conservation |
| Onkar Gulati | Prof. A. V. S. Madhavapeddy, Dr Andrew Balmford [Javascript required] | Prof. A. V. S. Madhavapeddy | 2023-10-01 | 2027-09-30 | Label-efficient learning of Sustainable Development Goal indicators from geospatial representations |
| Siyuan Guo | Dr F. Huszar | Prof. N. D. Lawrence | 2021-10-01 | 2025-09-30 | Advances in Causal Structure Identification and Probabilistic Meta-learning |
| Yuxin Guo | Prof. T. M. Jones | Prof. R. D. Mullins | 2023-01-04 | 2027-01-03 | Microarchitectural support for transparent task-level parallelism |
| Zhilin Guo | Prof. A. C. Oztireli, TBC | Prof. R. K. Mantiuk | 2022-10-01 | 2026-09-30 | 3D machine perception |
| Angus Hammond | Prof. N. Krishnaswami, Prof. P. M. Sewell | Prof. A. M. Pitts | 2019-10-01 | 2024-01-31 | Program logics for realistic ISAs |
| Dounia Hammou | Prof. R. K. Mantiuk | Prof. H. Gunes | 2022-10-01 | 2026-09-30 | Display-adaptive video quality |
| Charles Harris | Prof. P. Lio', Sir T. Blundell (DAMTP) | Dr A. Floto | 2021-10-01 | 2025-09-30 | AI for structural biology, drug discovery and protein design |
| Guoliang He | Dr E. Yoneki | Prof. J. A. Crowcroft | 2021-10-01 | 2026-03-31 | Neural Networks Super-optimization via Reinforcement Learning |
| Tabitha Healy | Dr T. C. Grosser | Prof. S. W. Moore | 2024-01-05 | 2027-01-03 | Exploiting Representation for Efficient Hardware Verification |
| Konstantin Hemker | Prof. M. Jamnik, N. Simidjievski | Prof. P. Lio' | 2022-10-01 | 2026-09-30 | Improving stability, meaningfulness & faithfulness of machine learning explanations in healthcare |
| Ivan Ho | Dr T. C. Grosser | Prof. T. M. Jones | 2025-01-04 | 2029-01-03 | High-performance Code Generation for Deep Neural Networks |
| Amelia Holcomb | Prof. S. Keshav | Prof. J. A. Crowcroft | 2021-10-01 | 2025-09-30 | Remote sensing of tropical forest degradation and regrowth |
| Yulong Huang | Dr J. D. Yallop | Prof. M. P. Fiore | 2023-01-04 | 2027-01-03 | Dependently-typed compilation: Theory and applications |
| Anna (Hilje) Hudig | Dr J. Singh | Prof. A. V. S. Madhavapeddy | 2022-10-01 | 2026-09-30 | Accountability-by-Design in Digital Infrastructures |
| Alexandru-Andrei Iacob | Prof. N. D. Lane | Dr C. H. Ek | 2022-10-01 | 2027-01-31 | Building Scalable Hierarchical Federated Learning Systems |
| Rishabh Jain | Prof. A. S. Prorok, Prof. P. Lio' | Dr C. H. Ek | 2023-10-01 | 2027-09-30 | Trustworthy Multi-Agent Systems using Robust and Explainable Graph Neural Networks |
| Christopher Jensen | Prof. R. M. Mortier | Dr Heidi Howard | 2020-10-01 | 2025-01-30 | Reconfigurable Consensus |
| Xiangjian Jiang | Prof. M. Jamnik, N. Simidjievski | Prof. P. Lio' | 2023-10-01 | 2027-09-30 | Towards Generalisable, Scalable and Trustworthy Tabular Foundation Models: A Data-centric Perspective |
| Youhe Jiang | Dr E. Yoneki | Prof. T. M. Jones | 2024-01-05 | 2027-09-30 | Efficient Inference and Serving of Large Language Models in Homogeneous and Heterogeneous GPU Clusters |
| Zhuo Ying Jiang Li | Prof. R. N. Watson | Prof. A. R. Beresford | 2023-10-01 | 2027-09-30 | The art of exploitation in CHERI-enabled systems and applications |
| Chaitanya Joshi | Prof. P. Lio' | Prof. A. C. Oztireli | 2022-01-04 | 2026-01-03 | Graph Neural Networks for Geometric Graphs: Theory, Engineering, and Applications |
| Husam Jubran | Prof. A. C. Oztireli | Prof. A. F. Blackwell | 2025-04-17 | 3D object reconstruction with neural network based implicits | |
| Jonas Jürß | Prof. P. Lio' | Prof. N. D. Lane | 2025-04-17 | 2029-01-03 | Explainable AI and neurosymbolic AI |
| Ilia Kaisin | Prof. N. Krishnaswami | Prof. P. M. Sewell | 2021-10-01 | 2025-09-30 | Bidirectional type inference |
| Alex Keizer | Dr T. C. Grosser | Prof. M. Jamnik | 2024-01-05 | 2027-09-30 | Going fast without breaking things: verified optimizations in Lean |
| David Khachaturov | Prof. R. D. Mullins, Prof. R. J. Anderson | Prof. R. J. Anderson | 2022-10-01 | 2026-09-30 | Automated security analysis of hardware systems |
| Jeremy Kim | Prof. A. R. Beresford | Prof. C. Mascolo | 2025-04-17 | Security and privacy in mobile health applications | |
| Oisin Kim | Dr C. Mishra | Prof. N. D. Lawrence | 2022-10-01 | 2026-09-30 | String geometry, machine learning, and computation. |
| Ceren Kocaoğullar | Prof. A. R. Beresford | Prof. R. N. Watson | 2021-10-01 | 2025-12-30 | Privacy-Preserving Local-First Software |
| Julia Komorowska | Prof. M. Jamnik, Prof. P. Lio' | Dr C. H. Ek | 2022-10-01 | 2026-09-30 | Dynamics-informed protein generative modelling |
| Yael Konforti | Prof. M. Jamnik | Dr C. H. Ek | 2024-10-01 | 2028-09-30 | Concept Learning for Bias Mitigation and Discovery of Unknown Population Groups |
| Michail Korakakis | Prof. A. Vlachos | Prof. E. J. Briscoe | 2020-10-01 | 2024-09-30 | Towards Educational Machine Learning |
| Faustyna Krawiec | Prof. N. Krishnaswami | Prof. A. Mycroft | 2019-10-01 | 2024-03-31 | Integrating machine learning in to the IDE |
| Nils Lauermann | Prof. P. M. Sewell | Prof. N. Krishnaswami | 2024-01-05 | 2028-01-04 | Multicore Semantics |
| Pietro Lesci | Prof. A. Vlachos | Prof. E. J. Briscoe | 2021-10-01 | 2025-09-30 | Data-centric approaches to model training in NLP |
| Ka Wing Li | Prof. R. N. Watson | Prof. S. W. Moore | 2024-10-01 | 2028-09-30 | CHERI-Hypervisor: Secure resource utilization through hardware-software co-design |
| Yufeng Li | Prof. M. P. Fiore | Prof. J. Vicary | 2023-10-01 | 2027-09-30 | Syntactic and Semantic Investigations in Algebraic and Homotopy Type Theory |
| Hanxue Liang | Prof. A. C. Oztireli | Prof. R. K. Mantiuk | 2022-01-04 | 2026-01-03 | 3D modeling via neural implicit representations |
| Yilei Liang | Prof. J. A. Crowcroft | Prof. R. M. Mortier | 2021-10-01 | 2025-09-30 | Towards Intelligent Federated Learning System |
| Madeline Lisaius | Prof. S. Keshav | Prof. A. V. S. Madhavapeddy | 2022-10-01 | 2026-09-30 | Self-Supervised Learning Approaches in Earth Observation Leveraging Physical Knowledge about the Interaction of Electro-Magnetic Radiation with Vegetation Canopies as Applied to Agriculture |
| Yaru Liu | Prof. R. K. Mantiuk | Prof. A. C. Oztireli | 2023-10-01 | 2027-09-30 | Streaming rendered content to resource-constrained devices |
| Joycelyn Longdon | Prof. A. F. Blackwell | Prof. S. Keshav | 2021-10-01 | 2026-01-30 | Visualising forest sound |
| Alexandre Lopoukhine | Dr T. C. Grosser | Prof. T. M. Jones | 2024-01-05 | 2027-01-03 | Empowering Domain Experts: Simplifying Compiler Extension for Linear Algebra and Beyond |
| Jem Lord | Prof. A. Dawar, Dr J. Sterling | Dr J. Vicary | 2024-10-01 | 2028-09-30 | An Application of Sheaves to Complexity Theory |
| Haoyan Luo | Prof. M. Jamnik | Prof. S. B. Holden | 2025-04-17 | Concept-Based Explanations and Interventions on Large Language Models | |
| Lucie Charlotte Magister | Prof. P. Lio' | Prof. M. Jamnik | 2021-10-01 | 2025-09-30 | Medicine in a Glass Box: Towards Explainability and Interpretability of Deep Neural Networks in Medicine |
| Jessica Man | Prof. A. V. S. Madhavapeddy | Prof. J. A. Crowcroft | 2023-10-01 | 2027-09-30 | A Trustworthy, Attestable and Reliable Decentralised Identity System (TARDIS) |
| Chaitanya Mangla | Prof. L. C. Paulson, Dr S. B. Holden | Prof. L. Paulson | 2016-10-01 | 2022-06-19 | Machine Learning for Theorem Prover Strategies |
| Mila Marcheva | Dr W. Sun | Prof. S. H. Teufel | 2023-01-04 | 2027-01-03 | Modeling Child Second Language Acquisition |
| William Marino | Prof. N. D. Lane | Dr J. Singh | 2024-01-05 | 2028-01-04 | Aligning Generative AI with Humanity's Interests |
| Tina Marjanov | Prof. A. J. Hutchings | M. Kleppmann | 2023-10-01 | 2027-09-30 | Stolen data economy |
| Alva Markelius | Prof. H. Gunes | Prof. A. F. Blackwell | 2024-10-01 | 2028-09-30 | The Ethics of Embodying Large Language Models in Social Affective Robots for Wellbeing Interventions |
| Simon Mathis | Prof. P. Lio' | Dr M. Clark (BAS) | 2021-10-01 | 2025-09-30 | Using artificial intelligence to understand and tackle biological impacts of climate change |
| Urška Matjašec | Prof. M. Jamnik, N. Simidjievski | Prof. P. Lio | 2020-10-01 | 2025-10-25 | Interpretable, high-performing methodology for tabular data |
| Hope McGovern | Dr A. P. Caines | Prof. A. J. Hutchings | 2021-10-01 | 2025-09-30 | Computational narrative understanding |
| Anna Mészáros | Dr F. Huszar | Dr C. Mishra | 2023-10-01 | 2027-09-30 | Compositional Generalisation in Language Models |
| Albert Miao | Prof. A. C. Oztireli | Prof. A. Blackwell | 2024-10-01 | 2028-09-30 | Explainable Visual AI |
| Vladimir Viktor Mirjanić | Dr C. Mishra | Prof. P.Lio; Dr C. H. Ek (TBC) | 2024-10-01 | 2028-09-30 | Mathematical Discovery using AI |
| Yoàv Montacute | Prof. A. Dawar | Prof. A. M. Pitts | 2020-10-01 | 2024-09-30 | From game comonads to dynamical systems: property-preserving maps as a logical unifying principle |
| Karl Mose | Prof. R. D. Mullins | Prof. T. M. Jones | 2023-10-01 | 2027-09-30 | Automating the Discovery of New Predictor Architectures and Predictor Targets |
| Jacob Moss | Prof. P. Lio' | Prof. M. Jamnik | 2020-10-01 | 2024-12-30 | Biophysical dynamical priors in machine learning |
| Jiayi Nie | Dr R. Antonova, Prof. N. D. Lane | Prof. N. D. Lane | 2025-01-04 | 2029-01-03 | Breaking Down the Compute Graph Step by Step: A Scalable and Modular Simulation |
| Alexander Norcliffe | Prof. P. Lio', Dr B. M. Dumitrascu | Dr C. H. Ek | 2021-10-01 | 2025-12-07 | Composite Feature Selection |
| Alistair O'Brien | Dr J. D. Yallop | Prof. A. V. S. Madhapeddy | 2024-10-01 | 2028-09-30 | Typing OCaml in OCaml: A Constraint-Based Approach |
| Jack O'Connor | Dr T. Gur | Dr T. M. Sauerwald | 2023-10-01 | 2025-09-30 | Zero-knowledge proofs |
| Wilfred Offord | Prof. J. Vicary | Prof. N. Krishnaswami | 2023-10-01 | 2027-09-30 | New computational models of higher categories |
| Charlotte Out | Dr T. M. Sauerwald | Prof. M. Jamnik | 2022-10-01 | 2026-09-30 | Information Spreading on Networks |
| Tomas Paulik | Prof. N. D. Lane | 2023-10-01 | 2027-09-30 | Sensor-based Edge Computing enhanced with Federated Learning | |
| Alexandre Pauwels | Prof. A. R. Beresford | Dr M. Kleppmann | 2024-10-01 | 2024-10-10 | Towards interoperation of end-to-end encrypted systems |
| Chun-Yu Peng | Dr M. G. Kuhn | Dr I. J. Wassell | 2021-10-01 | 2025-09-30 | Practical single-trace attacks on post-quantum cryptographic schemes |
| Thibaut Pérami | Prof. P. M. Sewell | Prof. N. Krishnaswami | 2021-10-01 | 2025-09-30 | System semantics |
| Elias Percy | Prof. A. Dawar | Dr N. Krishnaswami (TBC) | 2024-10-01 | 2028-09-30 | New developments in game comonads and descriptive complexity |
| Carrie Anne Philbin | Dr S. E. Sentance | Dr A. P. Caines | 2024-10-01 | 2031-09-30 | AI in Computing Education |
| Meghan Plumridge | Prof. N. D. Lane, [Javascript required]; [Javascript required] | 2023-10-01 | 2027-09-30 | Machine learning onboard Earth observation satellites | |
| Adam Pullin | Prof. C. Mascolo | Dr George Malliaras (CUED) | 2024-10-01 | 2028-09-30 | Earable sensing: the next frontier of on device sensing and analysis |
| Carlos Purves | Prof. P. Lio' | Prof. N. D. Lane | 2022-01-04 | 2025-09-30 | Reinforcement Learning on the Edge: Specialised Control Policies with Limited Resources |
| Xinchi Qiu | Prof. N. D. Lane | Dr N. D. Lane | 2020-10-01 | 2025-01-18 | Optimization and efficient learning for Federated Learning |
| Nitarshan Rajkumar | Dr F. Huszar, Dr David Krueger (CUED) | Prof. N. D. Lawrence | 2021-10-01 | 2025-09-30 | Artificial Intelligence at Scale |
| Sanjiv Ranchod | Prof. M. P. Fiore | Prof. J. Vicary | 2022-10-01 | 2026-09-30 | Internal languages in computation, logic, and mathematics |
| Aditya Ravuri | Prof. N. D. Lawrence | Dr C. H. Ek | 2021-10-01 | 2025-09-30 | Probabilistic interpretations of dimensionality reduction methods |
| Fredrik Rømming | Dr S. B. Holden | Prof. M. Jamnik | 2022-10-01 | 2026-09-30 | Learning Abstractions for Automated Theorem Proving |
| Luis Saavedra Del Toro | Prof. A. R. Beresford | Prof. C. Mascolo | 2021-10-01 | 2025-09-30 | Mobile ecosystems, application sideloading and user privacy |
| Suchir Salhan | Prof. P. J. Buttery | Dr A. P. Caines | 2024-10-01 | 2028-09-30 | A Compute-Efficient and Interpretable Framework for Small-Scale Language Models: Insights from Cross-Lingual Developing Grammars |
| Lorenzo Sani | Prof. N. D. Lane | Dr E. Kalyvianaki | 2022-10-01 | 2027-01-31 | Rethinking Federated Learning |
| Chiara Sarti | Prof. J. Vicary | Prof. M. P. Fiore | 2022-10-01 | 2026-09-30 | Word problems in higher categories |
| Liam Self | Dr I. J. Wassell, Dr Tian Hong Loh | Dr R. K. Harle | 2021-10-01 | 2025-09-30 | UWB Location Awareness and its application in Collaborative Indoor Positioning |
| Sanaa Sharma | Dr P. Murali | Dr T. Gur | 2024-10-01 | 2028-09-30 | Resource Estimation of Quantum Chemistry Applications for Novel Quantum Architectures |
| Yihang She | Prof. S. Keshav, [Javascript required] and [Javascript required] | Prof. J. A. Crowcroft | 2023-10-01 | 2027-09-30 | Scalable 3D Forest Perception via Augmented Digital Twin |
| David Sheets | Dr J. D. Yallop, Prof. J. A. Crowcroft | Prof. A. Mycroft | 2013-10-01 | 2023-05-31 | Resolution as a resource |
| Fangzheng (Bill) Shen | Prof. N. D. Lane | 2024-04-17 | 2028-04-16 | ||
| Paul Siewert | Dr F. Moscoso del Prado Martin | Prof. S. H. Teufel | 2024-10-01 | 2028-09-30 | Computational foundations of model-theoretic linguistic theory |
| Ben Simner | Prof. P. M. Sewell | Prof. S. W. Moore | 2018-10-01 | 2022-09-30 | ARM System semantics |
| Zakir Singh | Dr E. Yoneki | Prof. T. M. Jones | 2023-10-01 | 2027-09-30 | Equational Reasoning in Concatenative Languages |
| Sudarshan Sreeram | Prof. C. Mascolo | Prof. N. D. Lane | 2025-01-04 | 2029-01-03 | On-device Continual Learning for Proactive Health Monitoring on Hearables |
| Ieva Staliunaite | Prof. A. Vlachos | Dr F. Huszar | 2022-10-01 | 2026-09-30 | Causality in Language: From Linguistic Theory to Causal Inference Modeling |
| Kamilė Stankevičiūtė | Dr F. Huszar | Prof. P. Lio' | 2021-10-01 | 2025-09-30 | Capturing structure within and beyond the dataset: from inductive biases to self-supervision |
| Samuel Stark | Prof. S. W. Moore | Prof. R. N. Watson | 2022-10-01 | 2026-09-30 | Heterogenous Capability Domains in the context of CPUs and GPUs |
| Sofija Stefanovic | Prof. A. F. Blackwell, Jennifer Gabrys (Sociology) | Prof. S. Keshav | 2022-10-01 | 2026-09-30 | Monitoring environmental and pollution data in local contexts |
| David Strohmaier | Prof. P. J. Buttery | Dr A. P. Caines | 2023-01-04 | 2027-01-03 | Neural Models of Lexical Semantic Acquisition |
| Marek Strong | Prof. A. Vlachos | Prof. A. S. Prorok | 2022-10-01 | 2026-09-30 | Uncertainty in imitation learning |
| Jake Stuchbury-Wass | Prof. C. Mascolo | Prof. N. D. Lane | 2022-10-01 | 2026-09-30 | Investigating wearable device sensing for cardiovascular health monitoring |
| Tudor Suciu | Dr E. F. S. Shuckburgh, Prof. N. D. Lane | Prof. N. D. Lawrence | 2020-10-01 | 2025-03-27 | AI for Extreme Weather: the future of Coastal Flooding |
| Si Suo | Prof. N. Krishnaswami | Prof. P. M. Sewell | 2024-04-17 | 2028-04-16 | Denotational models of bidirectional type inference |
| Dmitrij Szamozvancev | Prof. N. Krishnaswami, Prof. M. P. Fiore | Prof. M. P. Fiore | 2018-10-01 | 2023-02-28 | Second order abstract syntax for compuational reflection |
| Jan Szlang | Dr E. Yoneki | Prof. T. M. Jones | 2025-04-17 | ML-enhanced query Optimiser for Data Streaming | |
| Anna Talas | Prof. A. J. Hutchings | Prof. A. R. Beresford | 2023-10-01 | 2027-09-30 | Exploring vulnerabilities from both a human and technical perspective’ |
| Xiaochen Tan | Prof. C. Mascolo | Prof. A. R. Beresford (TBC) | 2025-04-17 | Towards an Earable System for Multi-modal Health Monitoring | |
| Justin Tan Jia Tian | Dr C. Mishra | Dr C. H. Ek | 2021-10-01 | 2025-09-30 | String theory and machine learning |
| Calin Tataru | Prof. J. Vicary | Prof. A. M. Pitts | 2020-10-01 | 2024-09-30 | Cubical models of higher categories |
| Matthieu Téhénan | Prof. A. Vlachos | Dr F. Moscoso del Prado Martin (TBC) | 2024-10-01 | 2028-09-30 | Automated fact-checking |
| Ruben Ticehurst-James | Prof. T. M. Jones | 2024-10-01 | 2028-09-30 | ||
| Jonathan (Jay) Torry | Dr D. A. Orchard | 2024-01-01 | 2028-01-04 | Static Analysis for Climate Code | |
| Kieron Turk | Prof. A. J. Hutchings | Prof. A. R. Beresford | 2021-10-01 | 2025-09-30 | Targeted Tactics Against Tech-Abuse: Interactions Between Technology and Domestic Abuse |
| Szilvia Réka Ujváry | Dr F. Huszar | Dr C. Mishra | 2023-10-01 | 2027-09-30 | Studying LLM phenomena using tools from probabilistic machine learning and information theory |
| Emma Urquhart | Dr T. C. Grosser | Dr M. G. Kuhn | 2024-10-01 | 2028-09-30 | Verified Compilation for Fully Homomorphic Encryption |
| Francisco Vargas | Prof. N. D. Lawrence | Prof. M. Jamnik | 2020-10-01 | 2024-10-31 | Transport, Variational Inference and Diffusions - A Unifying Perspective with Applications to Sampling and Conditional Generative Modelling |
| Anna Vaughan | Prof. N. D. Lane | Dr C. H. Ek | 2020-10-01 | 2025-03-31 | Functional representations for extreme weather prediction |
| Sotirios Vavaroutas | Prof. C. Mascolo | Prof. P. Lio' | 2022-10-01 | 2026-09-30 | Automating the machine learning pipeline for sparse and unlabelled data |
| Mala Virdee | Dr C. H. Ek, E. Shuckberg | Prof. N. D. Lane | 2020-10-01 | 2025-04-24 | Multi-fidelity and multi-model ensemble prediction of climate extremes |
| Viet Anh Vu | Prof. A. J. Hutchings | Prof. A. R. Beresford | 2022-01-04 | 2026-01-03 | Online Crime and Harms Following Externalities |
| Chunlu Wang | Prof. A. J. Hutchings | Prof. P. J. Buttery | 2023-10-01 | 2027-09-30 | Effective and explainable multilingual hate speech detection in underground hacking and extremist forums |
| Taiyi Wang | Dr E. Yoneki | Prof. J. A. Crowcroft | 2021-10-01 | 2025-09-30 | Deep reinforcement learning in database management systems |
| Yuecheng Wang | Prof. S. W. Moore | Prof. R. D. Mullins | 2024-10-01 | 2028-09-30 | Toward efficient temporal memory safety |
| Jennifer White | Prof. S. H. Teufel | Prof. P. J. Buttery | 2020-10-01 | 2025-03-12 | Gender De-biasing Methods for NLP |
| Samuel Willis | Dr C. H. Ek | Prof. N. D. Lawrence (TBC) | 2024-10-01 | 2028-09-30 | Machine Learning for Engineering designs |
| Konrad Witaszczyk | Prof. R. N. Watson | Prof. S. W. Moore | 2022-10-01 | 2026-09-30 | Hardware-assisted compartmentalization strategies in supervisor mode code |
| Heedo Woo | Prof. A. S. Prorok | Prof. T. M. Jones | 2024-10-01 | 2028-09-30 | Multi-quadrotor modeling and control for dense deployments 'in the wild' |
| Haiqi Wu | Prof. J. Vicary | Prof. M. P. Fiore | 2022-10-01 | 2027-09-30 | Categorical structures in quantum theory |
| Haoran Wu | Prof. R. D. Mullins | Prof. T. M. Jones (TBC) | 2024-10-01 | 2028-09-30 | Machine Learning-Assisted Design Space Exploration in Processor Customisation |
| Jichun Wu | Prof. A. W. Moore | Prof. J. A. Crowcroft | 2023-10-01 | 2027-09-30 | Analysis and optimisation of low-latency RDMA systems |
| Tianhao Wu | Prof. A. C. Oztireli | Prof. A. F. Blackwell | 2021-10-01 | 2025-09-30 | Image-based 3D Understanding via Neural Implicit Representations |
| Yvonne Wu | Prof. C. Mascolo | Prof. P. Lio' | 2021-10-01 | 2025-09-30 | Weakly-Supervised Learning for Wearable Sensing |
| Lingyuan Ye | Dr J. Sterling | Prof. J. Vicary | 2024-10-01 | 2028-09-30 | Structural Aspects of Mathematical Logic |
| Fei Yin | Prof. R. K. Mantiuk | Prof. A. C. Oztireli | 2024-01-05 | 2028-01-03 | 3D Consistency Quality Assessment |
| Robin Young | Prof. S. Keshav | Prof. A. V. S. Madhavapeddy | 2024-10-01 | 2028-09-30 | Automating forest inventory data collection through camera and mobile LIDAR |
| Zhangdie Yuan | Prof. A. Vlachos | Prof. E. J. Briscoe | 2021-10-01 | 2025-09-30 | On Fact-Checking with Knowledge Graphs |
| Peter Zhang | Prof. T. M. Jones | Prof. S. W. Moore | 2023-01-04 | 2027-01-03 | Parallel software reliability for legacy binaries |
| Yuwei Zhang | Prof. C. Mascolo | Prof. N. D. Lane | 2023-10-01 | 2027-09-30 | Enabling Generalisable, Longitudinal, and Reliable Respiratory Audio-based Health Monitoring |
| Wanru Zhao | Prof. N. D. Lane | Prof. R. D. Mullins | 2023-01-04 | 2027-01-03 | Data-free knowledge distillation for Personalized Federated Learning |
| Hantao Zhong | Dr R. Antonova | Prof. R. K. Mantiuk | 2025-01-04 | 2029-01-03 | Integrating Multimodal Sensing and Large-scale Reasoning for Mobile Robot Manipulation |
| Chenliang Zhou | Prof. A. C. Oztireli | Prof. R. K. Mantiuk | 2021-10-01 | 2025-09-30 | Language Guided 3D Generative Representations |
| Xiaochen Zhu | Prof. A. Vlachos | Dr W. Sun | 2023-10-01 | 2027-09-30 | Building Multi-party Dialogue System For Better Deliberation |