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 |
| Oluwatimilehin Adeniran | Prof. T. M. Jones | Prof. R. D. Mullins | Fast and Accurate Simulation for Efficient Design-Space Exploration | ||
| Daattavya Aggarwal | Dr C. Mishra | Prof. P. Lio' | 2023-10-01 | 2027-09-30 | Quantum Computation & Machine Learning for String Geometry |
| Guy Aglionby | Prof. S. H. Teufel | Dr P. J. Buttery | 2018-10-01 | 2022-12-31 | A neural-network-based attention mechanism for text summarisation |
| 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 | TBC | 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 |
| Anna Allen | Prof. N. D. Lane | Dr C. H. Ek | 2020-10-01 | 2025-03-31 | Functional representations for extreme weather prediction |
| M Ahsan Al Mahir | Prof. T. M. Jones | Prof. R. D. Mullins | 2026-04-17 | 2030-04-16 | Enhancing Branch Prediction with Compiler and Prefetcher Integration |
| 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. P. J. Buttery | 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 |
| 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 |
| 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 |
| Luke Braithwaite | Prof. P. Lio' | Dr J. Yallop | 2026-01-04 | 2030-01-03 | Higher order networks for coding and compiling |
| 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 |
| 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 | ||
| Eren Cetin | Prof. A. C. Oztireli | Prof. R. K. Mantiuk | 2026-01-04 | 2020-01-03 | 3D View Synthesis and Reconstruction with Mobile Cameras |
| 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 |
| Saksham Checker | Prof. H. Gunes | Prof. R. Mantiuk | 2025-10-01 | 2029-09-30 | Multilingual AI for Cross-Cultural Human-Robot Interaction |
| Xinya Chen | Prof. A. C. Oztireli | Prof. A. F. Blackwell (TBC) | 2025-04-17 | Multi Modal Models for 3D Scene Generation | |
| 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 |
| Samuel Considine | Prof. A. C. Oztireli | Prof. R. K. Mantiuk | 2025-10-01 | 2029-09-30 | Gaussian splatting for differentiable scene rendering |
| Miruna Cretu | Prof. P. Lio' | 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 | 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 |
| Ishan Dasgupta Samarendra | Prof. J. Vicary | Dr J. Sterling | 2025-10-01 | 2029-09-30 | Type-theoretic models of (infinity,n)-categories |
| 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 |
| 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 (TBC) | 2024-10-01 | 2028-09-30 | Lemma conjecturing for theorem proving |
| Qiuxin Du | Prof. H. Gunes | Prof. R. K. Mantiuk | 2026-01-04 | 2030-01-03 | AI-Powered Early Detection and Intervention for Cognitive and Emotional Wellbeing of Older Adults and Children |
| 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 |
| 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 | |
| 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 | 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 |
| 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 | 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 |
| Sofia Gilardini | Prof. C. Mascolo | Prof. N. D. Lane | 2025-10-01 | 2029-09-30 | Novel machine learning for wearable bio signals |
| Mar Gonzalez I Catala | Prof. P. Lio' | Dr T. C. Grosser | 2025-10-01 | 2029-09-30 | Topological Deep Learning |
| Zebulon Goriely | Prof. P. J. Buttery | Prof. S. H. Teufel | 2021-10-01 | 2025-09-30 | Transformer Language Models and Child Language Acquisition |
| Finley Griffin | Dr C. Mishra | Prof. F. Huszar | 2025-10-01 | 2029-09-30 | AI for Mathematics |
| 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 |
| Chandan Gupta | Prof. P. Lio' | Prof. T. M. Sauerwald | 2025-10-01 | 2025-09-30 | Modeling patient trajectory using multi modality molecular data and neural differential equations |
| 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-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 |
| 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 |
| Timo Hromadka | Dr S. N. N. Nallaperuma-Herzberg | Prof. P. Lio | 2025-10-01 | 2029-09-30 | Developing music therapy for insomnia |
| 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 |
| Ashvin Jagadeesan | Dr T. Gur | Prof. T. M. Sauerwald | 2026-01-04 | 2030-01-03 | Interactive proofs for learning |
| 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 |
| 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 |
| 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 | 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. |
| 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 |
| Nursena Köprücü | Prof. A. C. Oztireli | Prof. R. K. Mantiuk | 2025-10-01 | 2029-09-30 | 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 |
| Pascal Lasnier | Dr J. D. Yallop | Dr T. C. Grossman | 2025-10-01 | 2029-09-30 | Verified Compilation for Functional Programming Concurrency |
| 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 |
| 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 | 2025-10-01 | 2029-09-30 | Quantum Cryptography |
| Yang Li | Dr I. J. Wassell | Dr R. K. Harle | 2026-04-17 | 2030-04-16 | Formal Verification for Explainable Large Language Models for Network Orchestration |
| 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 |
| 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 |
| Haochen Liu | Dr S. N. N. Nallaperuma-Herzberg | Prof. P. Lio; Prof. N. D. Lawrence | 2025-10-01 | 2029-09-30 | 3. 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 | 2025-10-01 | 2029-09-30 | 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 |
| 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 | 2029-04-16 | 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) |
| 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 |
| 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 |
| 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 |
| Mohammad Ali Moghimi | Prof. R. K. Mantiuk | Prof. A. C. Oztireli | 2025-10-01 | 2029-09-30 | Geometry-aligned light field representations for 3D scenes |
| Bálint Molnár | Dr T. M. Sauerwald | Dr T. Gur | 2025-10-01 | 2029-09-30 | Optimising Traffic Networks |
| Kevin Monteiro | Dr S. N. N. Nallaperuma-Herzberg | Prof. P. Lio | 2026-01-04 | 2030-01-03 | Developing foundation digital twin brain models for sleep and mental health |
| 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 |
| Tali Motzkin | Prof. A. S. Prorok | Prof. P. Lio | 2026-01-04 | 2030-01-03 | Methods in Collective Intelligence for Mixed Agent-Animal Societies |
| Sidharrth Nagappan | Prof. M. Jamnik | Dr C. H. Ek | 2025-10-01 | 2029-09-30 | Causality and Uncertainty-Driven Multimodal Models for Robust and Interpretable Computational Pathology |
| 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 | 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 |
| Mateusz Odrowaz-Sypniewski | Prof. A. S. Prorok | Dr R. Antonova | 2025-10-01 | 2029-09-30 | Behavioral Diversity in Multi-Agent Games |
| 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 |
| 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 |
| 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 | 2026-03-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 |
| 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-12-30 | Probabilistic interpretations of dimensionality reduction methods |
| Mohammad Yaman Rawas Kalaji | Prof. R. M. Mortier | Prof. J. A. Crowcroft | 2025-10-01 | 2029-09-30 | 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 | |
| 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 |
| Anmol Rattan Singh Sandhu | Dr J. Singh | Dr M. Kleppmann | 2026-04-17 | 2030-04-16 | Interoperability and Governance Challenges in Cross-Border Digital Identity Systems |
| 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 |
| 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 | 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 |
| 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 |
| Hope Speirs | Dr A. P. Caines | Prof. A. J. Hutchings | 2021-10-01 | 2025-09-30 | Computational narrative understanding |
| 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 |
| Si Suo | Prof. N. Krishnaswami | Prof. M. P. Fiore | 2026-10-01 | 2029-09-30 | Categorical semantics of type inference algorithms |
| 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 | 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 R. Antonova | 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 |
| Yilin Tang | Dr J. Singh | Prof. H. Gunes | 2026-01-04 | 2030-01-03 | Advancing Responsible Assistive Technologies |
| Justin Tan Jia Tian | Dr C. Mishra | Dr C. H. Ek | 2021-10-01 | 2025-09-30 | String theory and machine learning |
| 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 | |
| Filip Trhlik | Prof. P. J. Buttery | Dr A. P. Caines | 2025-10-01 | 2030-09-30 | Bias Dynamics in BabyLMs: Analysing Acquisition, Impact, and Mitigation Strategies |
| Wen Hoi Gladys Tyen | Prof. P. J. Buttery | Dr A. Caines | 2019-10-01 | 2024-09-27 | Providing feedback to language learners with adaptive chatbots |
| 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 |
| Sotirios Vavaroutas | Prof. C. Mascolo | Prof. P. Lio' | 2022-10-01 | 2026-09-30 | Automating the machine learning pipeline for sparse and unlabelled data |
| 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 |
| 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 |
| 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 |
| 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 |
| Shane Weisz | Prof. A. V. S. Madhavapeddy | Prof. S. Keshav | 2025-10-01 | 2029-09-30 | Finding causal connections in global geospatial data |
| 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 |
| Julian Rudolf Christian Windeck | M. Kleppmann | Dr E. Kalyvianaki (TBC) | 2025-10-01 | 2029-09-30 | Evolvability of Local-First Software |
| 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 (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 |
| Yvonne Wu | Prof. C. Mascolo | Prof. P. Lio' | 2021-10-01 | 2025-09-30 | Weakly-Supervised Learning for Wearable Sensing |
| Shengan Yang | Dr R. Antonova | Prof. A. S. Prorok | 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 | Structural Aspects of Mathematical Logic |
| Hrach Yeghiazaryan | Prof. P. Lio' | To be notified | 2026-01-04 | 2030-01-03 | 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 | 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 |
| Zixi Zhang | Prof. R. D. Mullins | Dr T. C. Grossman | 2025-10-01 | 2029-09-30 | Systematic Approaches to Efficient Chain-of-Thought |
| 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 |
| Wenyang Zhou | Dr R. Antonova | Prof. R. K. Mantiuk | 2025-10-01 | 2029-09-30 | 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 |