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 |
|---|---|---|---|---|---|
| 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 |
| Mohammad Mahdi Akbar | Prof. J. A. Crowcroft | Prof. R. M. Mortier | 2027-01-04 | Delay and Disruption Tolerant Networks revisited in the Fedivere and decentralised consensus protocol era | |
| 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 |
| Riccardo Maria Ali | Prof. J. Vicary | Prof. P. Lio | 2024-10-01 | 2028-09-30 | Categorical structures in machine learning |
| Ahmed Zahir Hamed Al-Jabri | Prof. J. A. Crowcroft, Dr E. Kalyvianaki | TBA | 2026-10-01 | Evolving the Transport Layer in an Ossified Internet | |
| Harry Allen | Prof. N. D. Lawrence, Dr C. H. Cabrera Jojoa | Dr C. H. Ek | 2026-10-01 | 2030-09-30 | Self-Sustaining Software Systems |
| Finn Anderson | Prof. N. D. Lane | Dr D. Ma | 2026-10-01 | 2030-09-30 | Decentralized Training at Scale: Adaptive Federated Optimization for Heterogeneous Hardware |
| Viktoriia Astafieva | Prof. A. J. Hutchings | Professor A. R. Beresford | 2026-10-01 | 2030-09-30 | The economic dynamics of multi-lingual cybercrime markets |
| Rosie Baish | Prof. R. N. Watson | Prof. P. M. Sewell | 2022-10-01 | 2028-06-16 | Using Runtime Analysis to Boost Performance on Morello |
| Liam Bakar | Prof. C. Mascolo | Dr D. Ma | 2026-10-01 | 2030-09-30 | Wearable Health Sensing and conversational modelling |
| Mantas Baksys | Dr S. B. Holden | Prof. M. Jamnik | 2024-10-01 | 2028-09-30 | Machine Learning for Automated Theorem Proving in Expressive Logics |
| Laura Barbenel | Prof. P. J. Buttery | Dr F. Moscoso del Prado Martin | 2026-10-01 | 2030-09-30 | Discriminative Learning: Cognitively Plausible Modelling of L2 Morphological Learning |
| 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 | Distributed Training of Lightweight LLMs on Edge Devices with Availability-Aware Sampling and Robustness Guarantees |
| 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 | Towards Trustworthy Conversational AI for Respiratory Health Assessment |
| Daniel Beutel | Prof. N. D. Lane | Prof. A. V. S. Madhavapeddy | 2022-10-01 | 2027-10-12 | 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 |
| Oliver Borg | Prof. A. C. Oztireli | Prof. R. K. Mantiuk | 2026-10-01 | 2030-09-30 | Geometry Processing for Graphics Applications |
| Luke Braithwaite | Prof. P. Lio', Dr T. C. Grosser | TBA | 2027-01-04 | Geometric deep learning for compilers | |
| Jason Brown | Prof. R. D. Mullins | Prof. A. S. Prorok | 2023-10-01 | 2027-09-30 | Reward Learning from Multiple Types of Human Feedback |
| Sanghyun Byun | Prof. R. K. Mantiuk | 2026-10-01 | 2030-09-30 | Digital Environments | |
| 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 |
| Minkyoung Cho | Dr J. Singh, Prof. J. A. Crowcroft | Prof. A. R. Beresford | 2027-04-17 | Logging Architectures for Multi-Agent AI Systems | |
| Luisa Cicolini | Dr T. C. Grosser | Prof. T. M. Jones | 2025-10-01 | 2029-09-30 | Democratizing Hardware Verification By Formalizing High-Level Abstractions |
| Matthew Clayton | Prof. R. M. Mortier | Prof. J. A. Crowcroft | 2026-10-01 | 2030-09-30 | Increasing system resilience through multi-cloud log, metric and trace analysis |
| 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 |
| Juntong Deng | Prof. A. W. Moore | Prof. R. N. Watson | 2026-10-01 | 2030-09-30 | System Tracing in Multi-Tenant Container Cloud Environment |
| Nisali Dharmasri | Prof. A. S. Prorok | TBA | 2027-01-04 | Generative Co-Design for Environment-Optimized Autonomous Construction | |
| Michael Dodds | Dr C. H. Ek | Prof. M. Jamnik | 2025-10-01 | 2029-09-30 | Generator-Guided Optimisation for Discrete Scientific Design |
| 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 |
| Brian Ezinwoke | Prof. J. Vicary | TBA | 2027-01-04 | Casual discovery and machine learning | |
| 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 |
| 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-12-31 | Let’s Agree to Disagree: Beyond the Gold Standard in Analytic Automated Essay Scoring |
| 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 | 2026-10-07 | 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 |
| Niccolò Grillo | Prof. P. Lio' | Dr T. C. Grosser | 2026-10-01 | 2030-09-30 | Reinforcement learning in large language models |
| 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 |
| 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 |
| Hossein Hafezi Moghaddas | M. Kleppmann | Dr M. G. Kuhn | 2026-10-01 | 2030-09-30 | Scalable and Self-Auditable Key Transparency |
| Mingshi Han | Prof. J. Vicary | Dr J. Sterling | 2026-01-04 | 2030-01-03 | Compositional structures in infinity-categories |
| Magnus Harder | Dr D. J. Wischik | Prof. P. Lio | 2026-10-01 | Causal machine learning | |
| 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 |
| Zoe Hastings | Dr S. E. Sentance | Dr A. P. Caines | 2026-10-01 | 2030-09-30 | Developing Foundational Pedagogies for Machine Learning Education for Learners Aged 14–19 |
| Tabitha Healy | Dr T. C. Grosser | Prof. S. W. Moore | 2024-01-05 | 2027-01-04 | Exploiting Representation for Efficient Hardware Verification |
| 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 | Rich Concept Representations for Interpretable Visual and Multimodal Learning |
| 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 |
| Yinting Huang | Prof. T. M. Jones | Prof. R. D. Mullins | 2026-10-01 | 2030-09-30 | A Reconfigurable Architecture for Universal Data Prefetching |
| Yulong Huang | Dr J. D. Yallop | Prof. M. P. Fiore | 2023-01-04 | 2027-01-03 | Dependently-typed compilation: Theory and applications |
| Zikuan Huang | Dr T. Gur | Dr P. Murali | 2026-10-01 | 2030-09-30 | Quantum complexity theory |
| 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-06-04 | Building Scalable Hierarchical Federated Learning Systems |
| Ashvin Jagadeesan | Prof. T. M. Sauerwald | Professor A. Dawar | 2026-10-01 | Agnostic PAC-Learning and Verification | |
| 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 |
| Fanping Jiang | M. Kleppmann | Prof. A. R. Beresford | 2027-04-17 | Mechanising Access-Control Semantics in CRDT-Based, Local-First Systems | |
| 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 | Co-Designing the Control Stack for Fault-Tolerant Trapped Ion Quantum Computation |
| 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-12-01 | Going fast without breaking things: verified optimizations in Lean |
| Muhammad Khan | Prof. S. W. Moore | Prof. R. N. Watson | 2026-10-01 | 2030-09-30 | Semantic-Driven Acceleration for Irregular Workloads |
| 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 |
| Jonathan Konig | Prof. M. P. Fiore | Prof. J. Vicary | 2026-10-01 | 2030-09-30 | On the Formalization of Type Theories, Species of Structures, and Higher-Order Structures |
| Nursena Köprücü | Prof. A. C. Oztireli | Prof. R. K. Mantiuk | 2026-01-04 | 2030-01-03 | Geometry processing for graphics applications |
| Mateusz Korytkowski | Prof. P. Lio' | Professor N. D. Lane | 2027-01-04 | Geometric deep learning | |
| Sonia Koszut | Prof. P. Lio', Dr S. N. N. Nallaperuma-Herzberg | Prof. Tristan Bekinschtien (Psych) | 2027-04-17 | Geometric Multimodal Brain Foundation Model | |
| 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 | CFI graphs, oddomorphisms, and the Roberson Conjecture |
| 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 |
| Emmanouil Lardas | Prof. A. Dawar | Dr T. M. Sauerwald | 2026-10-01 | 2030-09-30 | Descriptive Complexity in Tame Graph Classes |
| Pascal Lasnier | Dr J. D. Yallop | Prof. M. P. Fiore | 2026-10-01 | 2030-09-30 | Semantics and Compilation with CPS |
| Nils Lauermann | Prof. P. M. Sewell | Prof. N. Krishnaswami | 2024-01-05 | 2028-01-04 | Multicore Semantics |
| Daniel Lee | Prof. A. Vlachos, Dr J. Singh | Dr D. Ma | 2026-10-01 | 2033-09-30 | Bridging Human Intent and Model Behavior |
| May Levin | Prof. P. Lio' | 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 |
| Ran Li | Prof. S. H. Teufel, Prof. P. Lio' | Dr W. Sun | 2026-10-01 | 2030-09-30 | Text-based Reasoning in Science |
| 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 |
| Chang Liu | Dr D. Ma | Dr E. Kalyvianaki | 2026-10-01 | 2030-09-30 | Wearable Computing - Modeling Oculo-Aural Coordination for Human Monitoring |
| 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 | Detecting and Mitigating Benevolent Bias in Conversational Human–Agent Interactions |
| 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-11-26 | Streaming rendered content to resource-constrained devices |
| Alexandre Lopoukhine | Dr T. C. Grosser | Prof. T. M. Jones | 2024-01-05 | 2027-06-18 | 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 |
| Benno Lossin | Dr J. Sterling | Prof. J. Vicary | 2026-10-01 | 2030-09-30 | Applications of type theory to higher categories |
| Ruth Lu | Dr R. Antonova | Prof. R. D. Mullins | 2026-10-01 | 2030-09-30 | Advancing contextual reinforcement learning for robotic co-design |
| Chunxi Luo | Prof. S. H. Teufel | Dr F. Moscoso del Prado Martin | 2026-10-01 | 2030-09-30 | Comprehension of long-form textual narratives |
| 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 |
| Lorenzo Magnino | Prof. A. S. Prorok | TBA | 2026-10-01 | 2030-09-30 | Robust strategies for multi-agent games |
| Siddarth Mamidanna | Prof. M. Jamnik | Prof. A. Vlachos | 2026-10-01 | 2030-09-30 | Fine-Grained, Mechanistic Control of LLM Behaviour Beyond Prompt Engineering |
| 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 | 2029-09-30 | Aligning Generative AI with Humanity's Interests |
| Tina Marjanov | Prof. A. J. Hutchings | M. Kleppmann | 2023-10-01 | 2027-04-27 | 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 |
| Jake Masters | Prof. J. Vicary | Dr J. Sterling | 2026-10-01 | 2030-09-30 | Categorical models for concurrency |
| 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 | 2029-03-01 | Feature Pattern Analysis of 3D Data Through Sparse Autoencoders |
| Isabel Millar | Dr S. E. Sentance | Prof. A. F. Blackwell | 2026-10-01 | 2030-09-30 | Developing younger learners' understanding of fundamental programming concepts |
| 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 | Towards Practical AI-RAN Systems |
| Nathaniel Mitrani Hadida | Prof. R. D. Mullins | Prof. A. Vlachos | 2026-10-01 | 2030-09-30 | Towards Principled Post-Training of Large Language Models |
| 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 |
| Matthieu Moullec | Prof. A. Vlachos | Dr F. Moscoso del Prado Martin (TBC) | 2024-10-01 | 2028-09-30 | Automated fact-checking |
| Andrew Mpapalika | Prof. A. Vlachos | Dr F. Moscoso del Prado Martin | 2026-10-01 | 2030-09-30 | Trust in communication |
| Aviraj Newatia | Dr R. Antonova | Prof. R. K. Mantiuk | 2025-10-01 | 2029-09-30 | Dynamics-Preserving Adaptation of Simulators, Solvers, and Learned Policies |
| 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 |
| Mateusz Odrowaz-Sypniewski | Prof. A. S. Prorok | Prof. A. R. Beresford | 2026-10-01 | 2030-09-30 | Securing authenticity and provenance of robot policies |
| 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 |
| Arin Paliwal | Prof. T. M. Jones | Prof. S. W. Moore | 2026-10-01 | 2030-09-30 | A Decoupled, and Modular Communication Framework for Hardware-Software Optimization |
| 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 |
| Foivos Papathanasiou | Prof. C. Mascolo | Dr D. Ma | 2026-10-01 | 2030-09-30 | Machine learning on wearable signal for health |
| Yein Park | Prof. A. Vlachos | Dr D. Ma | 2026-10-01 | 2030-09-30 | Temporal Robustness and Control of Large Language Model |
| 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 |
| 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 |
| Foo Ping | Prof. A. R. Beresford | Prof. J. A. Crowcroft | 2026-10-01 | 2030-09-30 | Cybersecurity attack and defence strategies in the age of AI |
| Meghan Plumridge | Prof. N. D. Lane, [Javascript required]; [Javascript required] | 2023-10-01 | 2027-09-30 | Machine learning onboard Earth observation satellites | |
| Andrei Popescu | Prof. P. Lio' | 2025-10-01 | Iterative Latent Computation for Reasoning in Transformer Language Models | ||
| Adam Pullin | Prof. C. Mascolo | Dr George Malliaras (CUED) | 2024-10-01 | 2028-09-30 | Electrode Based Earable Sensing |
| 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 |
| 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 |
| Luigi Rinaldi | Dr J. D. Yallop, Dr T. C. Grosser | Dr D. J. Greaves | 2027-01-04 | Symbollic analysis for parametric bitvector solving | |
| 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 |
| Kaoru Seki | Dr K. A. Seaborn, Prof. S. H. Teufel | Prof. A. F. Blackwell | 2026-10-01 | 2030-09-30 | Co-Design Conversation AI Agents With Multilingual Speakers |
| Radzim Sendyka | Prof. N. D. Lawrence | Prof. M. Jamnik (TBC) | 2025-10-01 | 2029-09-30 | User-centric Digital Systems |
| Dalia Shaaban | Dr T. C. Grosser | Dr M. Kleppmann | 2027-01-04 | The Transactional Compiler: Database-Backed Intermediate Representations for Optimizing 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 |
| 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 | 2027-03-15 | 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 |
| Andrzej Szablewski | Prof. P. J. Buttery | Prof. A. Vlachos | 2026-10-01 | 2030-09-30 | LLM Reasoning Trajectories |
| 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 |
| 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 | Reliable Optimisation over Learned Predictive Manifolds | |
| 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 | Diagnosis and Mitigation of Behavioural Failures in LLM-based Evaluators |
| 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 |
| Chenxi Wang | Prof. H. Gunes | Prof. R. K. Mantiuk | 2026-10-01 | 2030-09-30 | Towards Mechanistic Affective Intelligence in LLMs: An Interpretable, Personalized, and Evolving Framework |
| 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 |
| Junshi Wang | Dr P. Murali | Prof. T. M. Jones | 2026-10-01 | 2030-09-30 | Architectural support for multi-level distillation in distributed quantum computing |
| 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 |
| Yixuan Wang | Dr T. Gur | Dr T. M. Sauerwald | 2026-10-01 | 2030-09-30 | Interactive proofs and probabilistically checkable proofs |
| 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 | Agentic AI to Accelerate and Standardize Assessments of Threatened Species |
| Maleakhi Wijaya | Prof. M. Jamnik, Prof. N. D. Lane | Prof. A. S. Prorok | 2026-10-01 | 2030-09-30 | Inside the Attack: Mechanistic Security Analysis of Centralized and Federated Multimodal Foundation Models |
| 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-11-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' |
| Adam Wu | Prof. A. C. Oztireli | Professor R. K. Mantiuk | 2026-10-01 | 2033-09-30 | Explainable 3D World Representations |
| 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 | Critical Sensing for Policy Transfer to Low-Cost Hardware |
| 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 |
| Zhuorui Yu | Prof. R. K. Mantiuk | Dr D. J. Wischik | 2026-10-01 | 2030-09-30 | Neural rendering for real-time graphics |
| Boqiao Zhang | Dr D. Ma | Prof. A. Vlachos | 2026-10-01 | 2030-09-30 | Wearable Machine Learning - Efficient Deployment of Physiological Foundation Models |
| 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. A. C. Oztireli | 2025-10-01 | 2029-10-13 | Uncertainty Reduction via Hardware-Software Codesign Applied to 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 |
| Shuqi Zi | Prof. P. Lio' | Professor C. Mascolo | 2027-01-04 | Deep Learning in Medicine |