Data source: The table below is automatically generated from the Research_Students table on the departmental SQL Server. This table is maintained by Lise Gough; please direct any enquiries about these records to her.
Supervisor/Adviser terminology: At the University of Cambridge, the Supervisor is the primary contact and collaborator of a research student, officially appointed by the University, whereas the Academic Adviser is a less formal, secondary role, namely a second academic within the department, not directly involved in the day-to-day supervision of the student, who mainly reviews the student's annual progress reports and is available to the student for additional advice or second opinions, if desired. (Other places may use these terms differently.)
| student | supervisor (co-supervisor) | academic adviser | started | expected finish | subject |
|---|---|---|---|---|---|
| Hugo Aaronson | Dr T. Gur | jv508 | 2023-10-01 | 2026-09-30 | Quantum Algorithms and Proofs with Advantage over Learning |
| 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 |
| Oluwatimilehin Adeniran | Prof. T. M. Jones | Prof. R. D. Mullins | 2025-10-01 | 2029-09-30 | Fast and Accurate Simulation for Efficient Design-Space Exploration |
| Daattavya Aggarwal | Dr C. Mishra | Prof. P. Lio' | 2024-01-04 | 2028-01-04 | Quantum Computation & Machine Learning for String Geometry |
| Hakan Emre Aktas | Prof. A. C. Oztireli | Prof. R. K. Mantiuk | 2025-10-01 | 2029-09-30 | Scene reconstruction for physical interaction with the environment |
| Preslav Aleksandrov | Prof. N. D. Lane | Prof. R. D. Mullins | 2024-01-05 | 2028-01-04 | Optimising LLM training and inference |
| 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 |
| Rosie Baish | Prof. R. N. Watson | Prof. P. M. Sewell | 2022-10-01 | 2028-06-16 | Using Runtime Analysis to Boost Performance on Morello |
| 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 | avsm2; jac22 | 2025-01-04 | 2029-01-03 | Generative Modeling with DAGs for Creative Content Generation |
| Jacob Bennett-Woolf | Dr J. D. Yallop | Prof. A. Dawar | 2024-10-01 | 2028-09-30 | Unrolling Data Types |
| Anaïs-Marie Berkes | Prof. R. D. Mullins, Prof. P. J. Buttery | Prof. A. V. S. Madhavapeddy | 2023-10-01 | 2027-09-30 | Towards Zero-Shot Generalisable AI Control for Building Decarbonisation |
| Gaia Assunta Bertolino | Prof. C. Mascolo | Prof. N. D. Lane | 2025-10-01 | 2029-09-30 | Efficient Uncertainty-Aware Continual Learning for On-Device Longitudinal Health Data Analysis |
| 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 |
| Jason Brown | Prof. R. D. Mullins | Prof. A. S. Prorok | 2023-10-01 | 2027-09-30 | Reward Learning from Multiple Types of Human Feedback |
| 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 | Perspectives From HCI on Generative AI & Timbre |
| Zeyu Cao | Prof. N. D. Lane, Prof. R. D. Mullins | Prof. T. M. Jones | 2024-10-01 | 2028-09-30 | On Infrastructure Efficiency of Large-scale Model Training |
| 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 |
| Yizhou Chi | Prof. A. Vlachos | Dr F. Moscoso del Prado Martin | 2025-10-01 | 2029-09-30 | Pressing Issues with LLMs: Misinformative, Dishonest, and Groundless |
| Luisa Cicolini | Dr T. C. Grosser | Prof. T. M. Jones | 2025-10-01 | 2029-09-30 | Democratizing Hardware Verification By Formalizing High-Level Abstractions |
| Miruna Cretu | Prof. P. Lio' | Professor N. D. Lane | 2023-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 | 2028-03-13 | Evaluating Compartmentalisation |
| 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 |
| Ishan Dasgupta Samarendra | Prof. J. Vicary | Dr J. Sterling | 2025-10-01 | 2029-09-30 | Type-theoretic models of (infinity,n)-categories |
| Michael Dodds | Dr C. H. Ek | Prof. M. Jamnik | 2025-10-01 | 2029-09-30 | Holistic ML-guided Design for the High-throughput Optimisation of Biologics |
| 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 | 2024-10-01 | 2028-09-30 | Automated 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 |
| Kajetan Dymkiewicz | Prof. R. D. Mullins | 2024-10-01 | 2028-09-30 | ||
| 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, Dr S. J. Jaffer | Prof. A. V. S. Madhavapeddy | 2024-10-01 | 2028-09-30 | Multi-Task and -Modal Deep Learning for Smartphone-based DBH Estimation |
| Felipe Ferreira Santos | Prof. A. Dawar | TBC | 2020-01-04 | 2022-09-09 | Lower Bound Methods for Space-Restricted Complexity Classes |
| 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 |
| Michael Christian Fink Amores | Prof. A. R. Beresford | 2023-10-01 | 2027-09-30 | Towards privacy of location data in location-based systems | |
| Martin Fixman | Dr S. B. Holden | Prof. M. Jamnik (TBC) | 2025-10-01 | 2029-09-30 | Adaptive Automated Theorem Proving using Hierarchical Reinforcement Learning and Curriculum Learning |
| Hanna Foerster | Prof. R. D. Mullins | Prof. N. D. Lane | 2024-10-01 | 2028-09-30 | Attack Surfaces in AI: Discovering and Characterizing Security Weaknesses in ML Models and Agents |
| Kyle Fogarty | Prof. A. C. Oztireli | Prof. R. K. Mantiuk | 2022-10-01 | 2026-09-30 | Neural geometry processing |
| Bianca-Mihaela Ganescu | Prof. P. J. Buttery | Dr A. P Caines | 2025-10-01 | 2029-09-30 | Toward Human-Like Language Learning: Multimodal Grounding for Small Language Models |
| Dapeng Gao | Prof. R. N. Watson | Prof. S. W. Moore | 2021-10-01 | 2026-03-31 | 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 |
| 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 |
| Mar Gonzalez I Catala | Prof. P. Lio' | Dr T. C. Grosser | 2025-10-01 | 2029-09-30 | Topological Deep Learning |
| 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 | 2026-01-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 |
| Dounia Hammou | Prof. R. K. Mantiuk | Prof. H. Gunes | 2022-10-01 | 2026-09-30 | Display-adaptive video quality |
| Mingshi Han | Prof. J. Vicary | Dr J. Sterling | 2026-01-04 | 2030-01-03 | Compositional structures in infinity-categories |
| 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-02 | 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 |
| Ferran Hernandez Caralt | Prof. P. Lio' | Prof. T. M. Sauerwald | 2025-10-01 | 2029-09-30 | Computational mathematics of Higher order networks |
| Oscar Hill | Prof. M. Jamnik | Dr C. H. Ek | 2025-10-01 | 2029-09-30 | Explainability and Interactivity of Deep Neural Networks using Concepts |
| Ivan Ho | Dr T. C. Grosser | Prof. T. M. Jones | 2025-01-04 | 2029-01-03 | High-performance Code Generation for Deep Neural Networks |
| Isaac Holt | Dr T. Gur | Prof. T. M. Sauerwald | 2025-10-01 | 2029-09-30 | Quantum Algorithms |
| 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 | 2027-04-16 | 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 |
| 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 |
| Scott Jones | Dr P. Murali | Prof. T. Gur | 2025-10-01 | 2029-09-30 | Fault-Tolerant Quantum Computing Frameworks for Scalable Quantum Computing |
| Andrej Jovanovic | Prof. N. D. Lane | Dr E. Kalyvianaki | 2025-10-01 | 2029-09-30 | A federated optimization framework |
| 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 | 2026-03-31 | 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 |
| Jeremy Kim | Prof. A. C. Oztireli | Prof. R. K. Mantiuk | 2026-04-17 | 2030-04-16 | 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. |
| Julia Komorowska | Prof. M. Jamnik, Prof. P. Lio' | Dr C. H. Ek | 2022-10-01 | 2027-02-10 | 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 |
| Nursena Köprücü | Prof. A. C. Oztireli | Prof. R. K. Mantiuk | 2026-01-04 | 2030-01-03 | Geometry processing for graphics applications |
| Faustyna Krawiec | Prof. N. Krishnaswami | Prof. A. Mycroft | 2019-10-01 | 2024-03-31 | Integrating machine learning in to the IDE |
| Arnar Kristjánsson | Prof. A. Dawar | Prof. T. Gur (TBC) | 2025-10-01 | 2029-09-30 | Expressive Power of Homomorphism Query Algorithms |
| Przemyslaw Kubiak | Dr F. Moscoso del Prado Martin | Prof. S. H. Teufel | 2025-10-01 | 2029-09-30 | Brain-Aligned Large Language Models |
| David Kuc | Prof. J. A. Crowcroft | Prof. R. M. Mortier | 2026-01-04 | 2030-01-03 | Large Language Models for Robust Binary Analysis and Enhanced Vulnerability Detection |
| Nils Lauermann | Prof. P. M. Sewell | Prof. N. Krishnaswami | 2024-01-05 | 2028-01-04 | Multicore Semantics |
| May Levin | Prof. C. Mascolo | Prof. P. Lio | 2025-10-01 | 2029-09-30 | Improving foetal health through wearable and genetic data machine learning |
| 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 |
| Longcheng Li | Dr T. Gur | Dr P. Murali | 2026-01-04 | 2030-01-03 | Quantum Cryptography |
| Wenzhao Li | Prof. A. C. Oztireli | Prof. R. K. Mantiuk | 2026-01-04 | 2030-01-03 | 3D digital representations of reality |
| 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 |
| Haochen Liu | Prof. P. Lio', Dr S. Nallaperuma | Prof. N. D. Lawrence | 2025-10-01 | 2029-09-30 | Artificial intelligence based digital cognitive behavioural therapy generation for insomnia |
| Qianqi Liu | Prof. H. Gunes | Prof. R. K. Mantiuk | 2025-10-01 | 2029-09-30 | Achieving Fairness in Real-time Human-Agent Interaction |
| Shuntian Liu | M. Kleppmann | Dr E. Kalyvianki | 2026-01-04 | 2030-01-03 | Expressing CRDTs in Datalog |
| Yaru Liu | Prof. R. K. Mantiuk | Prof. A. C. Oztireli | 2023-10-01 | 2027-09-30 | Streaming rendered content to resource-constrained devices |
| 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 |
| Haochen Luo | Prof. A. C. Oztireli | Prof. R. K. Mantiuk | 2026-04-17 | 2030-04-16 | 3D digital representations of reality |
| Haoyan Luo | Prof. M. Jamnik | Prof. S. B. Holden | 2025-04-17 | 2029-04-16 | Concept-Based Explanations and Interventions on Large Language Models |
| Lucie Charlotte Magister | Prof. P. Lio' | Prof. M. Jamnik | 2021-10-01 | 2026-04-24 | 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) |
| 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 | 2026-07-27 | Interpretable, high-performing methodology for tabular data |
| 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 | Feature Pattern Analysis of 3D Data Through Sparse Autoencoders |
| Vladimir Viktor Mirjanić | Dr C. Mishra, Prof. P.Lio | Prof. P. Lio' | 2024-10-01 | 2028-09-30 | Mathematical Discovery using AI |
| Rupendra Nath Mitra | Prof. R. M. Mortier | Prof. J. A. Crowcroft | 2025-10-01 | 2029-09-30 | Application of AI/ML techniques in real-time 5g/6g network control at the edge |
| 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 |
| Aviraj Newatia | Dr R. Antonova | Prof. A. C. Oztireli | 2025-10-01 | 2029-09-30 | Learning Physics-Informed Representations for Hybrid Simulation |
| Jiayi Nie | Dr R. Antonova | Prof. N. D. Lane | 2025-01-04 | 2029-01-03 | Breaking Down the Compute Graph Step by Step: A Scalable and Modular Simulation |
| 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 | Prof. T. M. Sauerwald | 2023-10-01 | 2028-02-16 | 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 | Prof. T. M. Sauerwald | Prof. M. Jamnik | 2022-10-01 | 2026-09-30 | Information Spreading on Networks |
| Hannah Pankow | Prof. A. J. Hutchings | Prof. A. R. Beresford | 2025-10-01 | 2029-09-30 | Supporting Survivors, Transforming Practice – Digital Solutions for Tech Abuse Cases |
| 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 |
| Thibaut Pérami | Prof. P. M. Sewell | Prof. N. Krishnaswami | 2021-10-01 | 2026-03-30 | System semantics |
| Elias Percy | Prof. A. Dawar | Dr N. Krishnaswami | 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 | Electrode Based Earable Sensing |
| Carlos Purves | Prof. P. Lio' | Prof. N. D. Lane | 2022-01-04 | 2026-01-04 | Reinforcement Learning on the Edge: Specialised Control Policies with Limited Resources |
| 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 | Substitution for substructural theories |
| Aditya Ravuri | Prof. N. D. Lawrence | Dr C. H. Ek | 2021-10-01 | 2025-12-31 | Probabilistic interpretations of dimensionality reduction methods |
| Mohammad Yaman Rawas Kalaji | Prof. R. M. Mortier | Prof. J. A. Crowcroft | 2026-01-04 | 2030-01-03 | People counting and tracking using sensor fusion and edge computing |
| George Rennie | Dr T. C. Grosser | Dr D. J. Greaves | 2025-10-01 | 2029-09-30 | Scalable Model Checking with Open Source Tools |
| Fredrik Rømming | Dr S. B. Holden | Prof. M. Jamnik | 2022-10-01 | 2026-09-30 | Learning Abstractions for Automated Theorem Proving |
| Andrea Rubbi | Prof. P. Lio' | 2023-10-01 | 2027-09-30 | TBC | |
| Suchir Salhan | Prof. P. J. Buttery | Dr A. P. Caines | 2024-10-01 | 2028-09-30 | Bilingual Small Language Models for Multi-Agent Adaptive Interaction |
| 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 |
| Radzim Sendyka | Prof. N. D. Lawrence | Prof. M. Jamnik (TBC) | 2025-10-01 | 2029-09-30 | User-centric Digital Systems |
| Yash Shah | Prof. T. M. Jones | Prof. R. D. Mullins | 2026-01-04 | 2030-01-03 | Artificial Intelligence for Design Space Exploration for Machine Learning Accelerators |
| George Shaikovski | Prof. M. Jamnik | Dr F. Huszar | 2025-10-01 | 2029-09-30 | Learning object-centric representations for complex reasoning with multiple modalities |
| Yuval Shalev | Prof. M. Jamnik | Prof. A. Vlachos | 2025-10-01 | 2029-09-30 | Explainability of LLMs |
| 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 | Prof. A. Vlachos | 2024-04-17 | 2028-04-16 | Toward Improved Controllability in Foundation Models |
| 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 |
| Amogh Singh | Prof. P. Lio' | Dr S. B. Holden | 2026-01-04 | 2030-01-03 | Causality methods for Complex disease and comorbidities |
| Pedro Sousa | Prof. A. V. S. Madhavapeddy | Dr C. H. Ek | 2026-01-04 | 2030-01-03 | Inverse agent-based models using deep learning |
| Sudarshan Sreeram | Prof. C. Mascolo | Prof. N. D. Lane | 2025-01-04 | 2029-01-03 | Adaptive Inference on Continuous Data Streams at the Edge |
| 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 |
| Bohang Sun | Prof. P. Lio' | Prof. S. B. Holden | 2026-01-04 | 2030-01-03 | Agentic AI in Medicine |
| Jan Szlang | Dr E. Yoneki | Prof. T. M. Jones | 2025-04-17 | 2029-04-16 | 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’ |
| Massimiliano Tamborski | Dr C. H. Ek, Dr D. Abel (https://david-abel.github.io) | Prof. N. D. Lane | 2025-10-01 | 2029-09-30 | Resource-constrained Continual Reinforcement Learning |
| Xiaochen Tan | Prof. C. Mascolo | Prof. A. R. Beresford (TBC) | 2025-04-17 | 2029-04-16 | Towards an Earable System for Multi-modal Health Monitoring |
| Matthieu Téhénan | Prof. A. Vlachos | Dr F. Moscoso del Prado Martin (TBC) | 2024-10-01 | 2028-09-30 | Automated fact-checking |
| Rachel Thomas | Prof. A. F. Blackwell, Prof. Hannah Fry | Dr S. Sentance | 2026-01-04 | 2033-01-03 | AI for engagement with mathematical research |
| 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 | |
| Filip Trhlik | Prof. P. J. Buttery | Dr A. P. Caines | 2025-10-01 | 2029-09-30 | Bias Dynamics in BabyLMs: Analysing Acquisition, Impact, and Mitigation Strategies |
| 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 | MLIR-based Kernel Orchestration for Exascale HPC on Emerging Architectures |
| Anahitha Vijay | Dr S. E. Sentance | Prof. A. Hutchings | 2025-10-01 | 2029-09-30 | An Interest-Driven Learning Curriculum for Cyber Security Education in Secondary Schools |
| Simon Virag | Dr E. Kalyvianaki | Prof. N. D. Lane | 2025-10-01 | 2029-09-30 | Collaborative Distributed Scheduler Using Federated Learning in Computer Clusters |
| 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 |
| Qianhui Wang | Prof. R. N. Watson | Prof. S. W. Moore | 2025-10-01 | 2029-09-30 | Securing higher-level language runtimes and web environments with CHERI capabilities |
| Yuecheng Wang | Prof. S. W. Moore | Prof. R. D. Mullins | 2024-10-01 | 2028-09-30 | Elasticache: Deterministic efficient temporal safety for CHERI |
| Shane Weisz | Prof. A. V. S. Madhavapeddy | Prof. S. Keshav | 2025-10-01 | 2029-09-30 | Finding causal connections in global geospatial data |
| 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 |
| Maksymilian Wolski | Prof. A. S. Prorok | Prof. M. Jamnik (TBC) | 2026-01-04 | 2030-01-03 | Language Instructed Multi-Robot Teams |
| 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 | 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 |
| Shengan Yang | Dr R. Antonova, Professor I. J. Wassell | Dr D. J. Greaves | 2025-10-01 | 2029-09-30 | Open-source Modular Platform for Co-design of Robot Hardware and Policy Learning |
| Lingyuan Ye | Dr J. Sterling | Prof. J. Vicary | 2024-10-01 | 2028-09-30 | Domains and classifying topoi |
| Hrach Yeghiazaryan | Prof. P. Lio' | MJ201 initially | 2026-04-17 | 2030-04-16 | Linking drug discovery and single cells analysis |
| Fei Yin | Prof. R. K. Mantiuk | Prof. A. C. Oztireli | 2024-01-05 | 2028-01-03 | Generative models for 3D - editing, animation and visual quality |
| 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 | 2026-01-04 | 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. A. S. Prorok | 2025-01-04 | 2029-01-03 | Integrating Multimodal Sensing and Large-scale Reasoning for Mobile Robot Manipulation |
| Wenyang Zhou | Dr R. Antonova | Prof. R. K. Mantiuk | 2025-10-01 | 2029-10-13 | Multimodal Sensor Configuration for In-Hand Manipulation |
| Xiaochen Zhu | Prof. A. Vlachos | Dr W. Sun | 2023-10-01 | 2027-09-30 | Building Multi-party Dialogue System For Better Deliberation |