List of current PhD students
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 and classical sublinear algorithms |
| Nida Abbasi | Prof. H. Gunes | Prof. A. F. Blackwell | 2020-10-01 | 2024-09-30 | Developing a framework for age-appropriate mental and cognitive wellbeing screening for children - a multimodal robotised approach |
| Salomey Addo | Dr S. E. Sentance | Prof. A. R. Beresford | 2023-01-04 | 2027-01-03 | Investigating pedagogical approaches to teaching the concepts and skills of AI, machine learning and data science |
| Daattavya Aggarwal | Dr C. Mishra | Prof. P. Lio' | 2023-10-01 | 2027-09-30 | Quantum Computation & Machine Learning for String Geometry |
| Sharan Agrawal | Prof. A. V. S. Madhavapeddy | Prof. J. A. Crowcroft | 2024-01-04 | 2028-01-03 | Agent Based Models for the Economics of Biodiversity and Climate Change |
| 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 |
| Rami Aly | Prof. A. Vlachos | Prof. E. J. Briscoe | 2020-10-01 | 2024-09-30 | Claim Verification Over Unstructured and Structured Information |
| Mahwish Arif | Prof. T. M. Jones | 2020-10-01 | 2025-03-31 | A full-coverage, low-overhead and accessible software framework for binary security | |
| Jose Atondo Siu | Prof. A. J. Hutchings | Prof. R. J. Anderson | 2020-10-01 | 2024-09-30 | Using NLP and ML to identify investment scam lures |
| Minja Axelsson | Prof. H. Gunes | Prof. A. F. Blackwell | 2020-10-01 | 2024-09-30 | Computational Behaviour Generation for a Robotic Well-being Coach |
| Rosie Baish | Prof. R. N. Watson | Prof. P. M. Sewell | 2022-10-01 | 2026-09-30 | Extending the C standards to increase safety |
| Stefanos Bakirtzis | Dr I. J. Wassell | Dr R. K. Harle | 2020-10-01 | 2024-09-30 | Characterizing mobile service demands and optimal indoor radio access network deployment for 5G and beyond systems |
| Rini Banerjee | Prof. P. M. Sewell | Prof. N. Krishnaswami | 2022-10-01 | 2026-09-30 | Executable separation-logic specification |
| Pietro Barbiero | Prof. P. Lio' | Prof. M. Jamnik | 2020-10-01 | 2024-09-30 | Neurosymbolic Models of Biomedical Twins |
| 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 |
| Anaïs-Marie Berkes | Prof. S. Keshav | Prof. A. V. S. Madhavapeddy | 2023-10-01 | 2027-09-30 | Layout, sizing and operation of energy systems in multiple-family residential housing |
| David Berry | Prof. M. P. Fiore | Prof. A. M. Pitts and Dr J. Vicary | 2021-10-01 | 2025-09-30 | Normalisation for Two-Dimensional Simple Type Theory |
| Matteo Bettini | Prof. A. S. Prorok | Prof. M. Jamnik | 2021-10-01 | 2025-09-30 | Neural diversity in multi-agent systems |
| Daniel Beutel | Prof. N. D. Lane | Prof. A. V. S. Madhavapeddy | 2022-10-01 | 2026-12-30 | The Design and Architecture of a Scalable Modular Federated Learning Framework |
| Peter Blandford-Baker | Prof. R. N. Watson | Prof. S. W. Moore | 2020-10-01 | 2024-09-30 | Enabling High-Performance Software Compartmentalization using CHERI Co-Processes |
| Virginia Blessing | Prof. A. R. Beresford | Dr A. Hutchings | 2021-10-01 | 2025-09-30 | Anonymous Communications for Mobile Devices |
| Jan Blumenkamp | Prof. A. S. Prorok | Dr C. Oztireli | 2020-10-01 | 2024-09-30 | Learning communication for real-world multi-agent systems |
| Erika Bondareva | Prof. C. Mascolo | Dr H. Gunes | 2019-10-01 | 2023-09-30 | Machine learning for automated auscultation: disease diagnostics and progression tracking through audio signals |
| Colton Botta | Prof. A. F. Blackwell | Prof. N. D. Lawrence | 2024-01-04 | 2028-01-03 | Domain-specific Probabilistic Programming Languages |
| Nicholas Boucher | Prof. R. J. Anderson | Prof. A. R. Beresford | 2020-10-01 | 2024-09-30 | The protection of democratic mechanisms |
| Justas Brazauskas | Prof. A. F. Blackwell, Per Ola Kristensson | Prof. R. M. Mortier | 2022-10-01 | 2026-09-30 | Meaningful Interactions for Human-centred Smart Environments |
| Edward Brown | Prof. N. D. Lane | 2020-10-01 | 2024-09-30 | Deep Learning applied to Solar Imaging in Space Weather Forecasting | |
| Jason Brown | Prof. R. D. Mullins | Prof. A. S. Prorok | 2023-10-01 | 2027-09-30 | Reinforcement learning and reward modelling |
| David Buterez | Prof. P. Lio' | Prof. M. Jamnik | 2020-10-01 | 2024-09-30 | |
| Kayla-Jade Butkow | Prof. C. Mascolo | Prof. A. R. Beresford | 2020-10-01 | 2024-09-30 | Multimodal Earable Sensing Platform for Stress Detection and Monitoring |
| Yancheng Cai | Prof. R. K. Mantiuk | Dr D. J. Wischik | 2023-10-01 | 2027-09-30 | Display image quality |
| Gaia Carenini | Prof. M. Jamnik | Dr S. B. Holden | 2024-01-04 | 2028-01-03 | Fusing Human-Oriented Reasoning Techniques and Principles with Language Models |
| Annabelle Carrell | Dr F. Huszar | Prof. N. D. Lawrence | 2021-10-01 | 2025-09-30 | Towards a Theory of Calibration in Deep Learning |
| Francesco Ceccarelli | Dr S. B. Holden, Prof. P. Lio' | 2023-10-01 | 2026-09-30 | ||
| Eric Chamoun | Prof. A. Vlachos | Prof. E. J. Briscoe | 2022-10-01 | 2026-09-30 | Automated Fact Checking in Healthcare |
| Yiwen Chen | Prof. S. H. Teufel | Dr E. Yoneki | 2019-01-04 | 2023-10-04 | Lyrics generation with melodic and linguistic constraints |
| Yufei Chen | Dr W. Sun | Prof. S. H. Teufel | 2024-01-04 | 2028-01-03 | Probing Cognition--Language Interaction with Multi-Agent Communication Model |
| Julius Cheng | Prof. A. Vlachos | Prof. P. J. Buttery | 2021-01-04 | 2025-01-04 | Exploring the use dynamic oracles in imitation learning |
| Jiaee Cheong | Prof. H. Gunes, Prof. P. Lio' | 2020-10-01 | 2024-04-01 | A Causal Approach towards Fairness in Facial Affect Recognition | |
| Jessica Clarke | Prof. R. N. Watson | Professor S. W. Moore | 2018-10-01 | 2023-09-30 | Optimising Code for Modern Instruction Set-based Capability Systems |
| Kian Cross | Prof. R. N. Watson | Prof. J. A. Crowcroft | 2023-10-01 | 2027-09-30 | Reasoning about Compartmentalising Complex Software |
| Wei Da | Dr E. Kalyvianaki | Prof. R. M. Mortier | 2023-10-01 | 2027-09-30 | Privacy Preserved Embedding-based Retrieval System |
| Oluwatomisin Dada | Prof. N. D. Lawrence | Dr C. H. Ek | 2022-10-01 | 2026-09-30 | Reinforcement Learning in Disaggregated Energy Systems |
| Christopher Davis | Prof. P. J. Buttery | Prof. A. A. Copestake | 2017-10-01 | 2022-07-04 | Using multimodal models to facilitate adaptive language learning |
| 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 |
| Euodia Dodd | Dr S. Banerjee | Dr C. Mishra | 2024-01-04 | 2028-01-03 | Fair and Ethical algorithms for Machine Learning |
| Petr Dolezal | Prof. S. Keshav | Prof. J. A. Crowcroft | 2020-10-01 | 2024-09-30 | Complementarity of renewable energy sources across supergrids |
| Iulia Duta | Prof. P. Lio' | Prof. C. Mascolo | 2021-10-01 | 2025-09-30 | Exploring the power of hypergraphs for graph-structured data |
| Chelsea Edmonds | Prof. L. C. Paulson | Prof. M. Jamnik | 2019-10-01 | 2023-09-30 | Formal Proof Techniques for Combinatorial Structures in Isabelle/HOL |
| Ioannis Eleftheriadis | Prof. A. Dawar | Dr J. Vicary | 2021-10-01 | 2025-09-30 | Categorical methods in finite model theory |
| Mark Elliott | Prof. P. J. Buttery | Prof. E. J. Briscoe | 2018-04-17 | 2022-04-16 | The application of measurement in the evaluation of automated assessment models |
| Dimitrije Erdeljan | Dr M. G. Kuhn | Dr I. J. Wassell | 2019-10-01 | 2023-09-30 | Device detection based on compromising emanations |
| Marton Erdos | Prof. T. M. Jones | Dr R. D. Mullins | 2020-10-01 | 2024-09-30 | In-core speculative multithreading |
| 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 | Locality in Finite Model Theory |
| Patrick Ferris | Prof. A. V. S. Madhavapeddy | Prof. S. Keshav | 2023-10-01 | 2027-09-30 | Technology for empowering conservation and local livelihoods in the global south |
| 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 | Prof. R. J. Anderson | 2023-10-01 | 2027-09-30 | De-anonymization attacks on location data |
| Paris Flood | Prof. P. Lio' | Dr A. S. Prorok | 2019-10-01 | 2023-09-30 | Machine Learning for personalized healthcare |
| Kyle Fogarty | Prof. A. C. Oztireli | Prof. R. K. Mantiuk | 2022-10-01 | 2026-09-30 | Neural geometry processing |
| Franz Fuchs | Prof. S. W. Moore | Prof. R. N. Watson | 2021-10-01 | 2025-09-30 | Transient-Execution Attacks and Mitigations using Capability-based Memory Protection |
| Laurence Gale | Dr S. E. Sentance, TBA | Prof. A. R. Beresford | 2022-10-01 | 2026-09-30 | Teaching approaches for programming in school that support increased inclusivity and diversity |
| 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 |
| Yan Gao | Prof. N. D. Lane | 2020-10-01 | 2024-09-30 | Decentralized Training of Acoustic Models for Speech Recognition | |
| 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 | Automated and explainable assessment of writing by learners of English |
| Dobrik Georgiev | Prof. P. Lio' | Dr T. M. Sauerwald | 2020-10-01 | 2024-09-30 | Neural algorithmic reasoning for computer science and biomedicine |
| Jad Elkhaleq Ghalayini | Prof. N. Krishnaswami | Prof. P. M. Sewell | 2021-10-01 | 2025-09-30 | Semantics and refinement types for compiler Irs |
| Ryan Gibb | Prof. A. V. S. Madhavapeddy | Prof. J. A. Crowcroft | 2022-10-01 | 2026-09-30 | Interspatial networking |
| Jennifer Gielis | Prof. A. S. Prorok | awm11 | 2021-10-01 | 2025-09-30 | Coupled Navigation-Networking Techniques for Mobile Robot Systems |
| Fazilet Gokbudak | Prof. A. C. Oztireli | Dr H. Gunes | 2020-10-01 | 2024-09-30 | Structured Filters for Image-based Scene Manipulations |
| Ivan Mauro Gomes Ribeiro | Prof. S. W. Moore | Prof. R. N. Watson | 2021-10-01 | 2025-09-30 | Secure Systems-on-Chip |
| Zebulon Goriely | Prof. P. J. Buttery | Prof. S. H. Teufel | 2021-10-01 | 2025-09-30 | Transformer Language Models and Child Language Acquisition |
| Katherine Green | Prof. A. S. Prorok, Dr Simeon Hill (BAS) | Prof. E. Shuckburgh | 2021-10-01 | 2026-01-30 | Understanding Ecosystem Dynamics for Marine Conservation |
| Onkar Gulati | Prof. A. V. S. Madhavapeddy, Dr Andrew Balmford [Javascript required] | 2023-10-01 | 2027-09-30 | ||
| Siyuan Guo | Dr F. Huszar | Prof. N. D. Lawrence | 2021-10-01 | 2025-09-30 | Advances in Causal Structure Identification and Probabilistic Meta-learning |
| Yuxin Guo | Prof. T. M. Jones | Prof. R. D. Mullins | 2023-01-04 | 2027-01-03 | Microarchitectural support for transparent task-level parallelism |
| Zhilin Guo | Prof. A. C. Oztireli, TBC | Prof. R. K. Mantiuk | 2022-10-01 | 2026-09-30 | 3D machine perception |
| Rowan Hall Maudslay | Prof. S. H. Teufel | Prof. P. J. Buttery | 2020-10-01 | 2024-09-30 | Productive Metaphor in the Lexicon |
| Angus Hammond | Prof. N. Krishnaswami, Prof. P. M. Sewell | Prof. A. M. Pitts | 2019-10-01 | 2023-09-30 | Program logics for realistic ISAs |
| Dounia Hammou | Prof. R. K. Mantiuk | Prof. H. Gunes | 2022-10-01 | 2026-09-30 | Display-adaptive video quality |
| Param Hanji | Prof. R. K. Mantiuk | Dr A. C. Oztireli | 2019-10-01 | 2023-09-30 | Computational Photography for Realistic Rendering |
| 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 | 2025-09-30 | Neural Networks Super-optimization via Reinforcement Learning |
| Konstantin Hemker | Prof. M. Jamnik | Prof. P. Lio' | 2022-10-01 | 2026-09-30 | Improving stability, meaningfulness & faithfulness of machine learning explanations in healthcare |
| Amelia Holcomb | Prof. S. Keshav | Prof. J. A. Crowcroft | 2021-10-01 | 2025-09-30 | Remote sensing of tropical forest degradation and regrowth |
| Yulong Huang | Dr J. D. Yallop | Prof. M. P. Fiore | 2023-01-04 | 2027-01-03 | Dependently-typed compilation: Theory and applications |
| Anna (Hilje) Hudig | Dr J. Singh | Prof. A. V. S. Madhavapeddy | 2022-10-01 | 2026-09-30 | User Empowerment in Internet-of-Things Ecosystems: Addressing Data Harvesting and User Manipulation |
| Daniel Hugenroth | Prof. A. R. Beresford | Prof. C. Mascolo | 2019-10-01 | 2023-09-30 | Strong metadata-privacy for mobile devices and group communication |
| Jack Hughes | Prof. A. J. Hutchings | Prof. A. R. Beresford | 2019-10-01 | 2023-09-30 | Using machine learning and big data approaches to understand the role of gaming within cybercrime pathways on underground discussion platforms |
| Alexandru-Andrei Iacob | Prof. N. D. Lane | Dr C. H. Ek | 2022-10-01 | 2026-09-30 | Federated Learning |
| Dan Andrei Iliescu | Dr D. J. Wischik | Dr H. Gunes | 2019-10-01 | 2024-05-30 | An environment for data interaction, with machine learning support |
| Al Amjad Tawfiq Isstaif | Prof. R. M. Mortier | Prof. J. A. Crowcroft | 2020-10-01 | 2024-09-30 | Autoscaling Applications at the Network Edge |
| Rishabh Jain | Prof. A. S. Prorok | Dr C. H. Ek | 2023-10-01 | 2027-09-30 | Verifiable Multi-Agent Program Synthesis through Graph Neural Networks |
| Andrew Jeffery | Prof. R. M. Mortier | Prof. J. A. Crowcroft | 2020-10-01 | 2024-09-30 | Decentralised Cluster Orchestration |
| Christopher Jensen | Prof. R. M. Mortier | Dr Heidi Howard | 2020-10-01 | 2024-09-30 | Reconfigurable Consensus |
| Albert Jiang | Prof. M. Jamnik | Prof. A. S. Prorok | 2021-10-01 | 2025-09-30 | Learning Abstract Mathematical Reasoning |
| Xiangjian Jiang | Prof. M. Jamnik | Prof. P. Lio' | 2023-10-01 | 2027-09-30 | Transfer Learning for Biomedical Tabular Data |
| Youhe Jiang | Dr E. Yoneki | Prof. T. M. Jones | 2023-10-01 | 2027-09-30 | Distributed machine learning systems from ML Compiler perspective |
| Zhuo Ying Jiang Li | Prof. R. N. Watson | Prof. A. R. Beresford | 2023-10-01 | 2027-09-30 | Software vulnerability exploitation and mitigation under CHERI memory protections |
| 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 |
| Ilia Kaisin | Prof. N. Krishnaswami | Prof. P. M. Sewell | 2021-10-01 | 2025-09-30 | Bidirectional type inference |
| Georgi Karadzhov | Prof. A. Vlachos | Dr R. D. Cotterell | 2019-10-01 | 2023-09-30 | Deliberation Enhancing Bots |
| Dmitry Kazhdan | Prof. M. Jamnik, Prof. P. Lio' | Prof. N. D. Lawrence | 2019-10-01 | 2023-09-30 | Learning the next generation of drug targets by modelling diseases, targets and their relationships |
| 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 |
| Oisin Kim | Dr C. Mishra | Prof. N. D. Lawrence | 2022-10-01 | 2026-09-30 | String geometry, machine learning, and computation. |
| Ceren Kocaoğullar | Prof. A. R. Beresford | Prof. R. N. Watson | 2021-10-01 | 2025-12-30 | Privacy-Preserving Local-First Software |
| Julia Komorowska | Prof. M. Jamnik, Prof. P. Lio' | Dr C. H. Ek | 2022-10-01 | 2026-09-30 | Foundations of Graph Representation Learning in the context of Network and Life Sciences |
| Michail Korakakis | Prof. A. Vlachos | Prof. E. J. Briscoe | 2020-10-01 | 2024-09-30 | Towards Educational Machine Learning |
| Ryan Kortvelesy | Prof. A. S. Prorok | Prof. A. R. Beresford | 2019-10-01 | 2023-09-30 | Graph Attention Networks for Intelligent Coordination in Autonomous Multi-Agent Systems |
| Faustyna Krawiec | Prof. N. Krishnaswami | Prof. A. Mycroft | 2019-10-01 | 2024-03-31 | Integrating machine learning in to the IDE |
| Young Dae Kwon | Prof. C. Mascolo | Prof. A. R. Beresford | 2020-10-01 | 2024-09-30 | Efficient on-device systems that can sense, learn, and optimize continually in the wild |
| Nils Lauermann | Prof. P. M. Sewell | Prof. N. Krishnaswami | 2024-01-04 | 2028-01-03 | Multicore Semantics |
| De Sheng Royson Lee | Prof. N. D. Lane | Prof. C. Mascolo | 2021-01-05 | 2025-01-04 | Open Problems in Meta-Learning |
| Pietro Lesci | Prof. A. Vlachos | Prof. E. J. Briscoe | 2021-10-01 | 2025-09-30 | Data-centric approaches to model training in NLP |
| Han-Bo Li | Prof. N. D. Lawrence | Dr C. Mishra | 2022-10-01 | 2026-09-30 | Optimal Transport and Probabilistic Modelling |
| Yufeng Li | Prof. M. P. Fiore | Prof. J. Vicary | 2023-10-01 | 2027-09-30 | Syntactic and Semantic Investigations in Algebraic and Homotopy Type Theory |
| Hanxue Liang | Prof. A. C. Oztireli | Prof. R. K. Mantiuk | 2022-01-04 | 2026-01-03 | 3D modeling via neural implicit representations |
| Yilei Liang | Prof. J. A. Crowcroft | Prof. R. M. Mortier | 2021-10-01 | 2025-09-30 | Towards Intelligent Federated Learning System |
| Madeline Lisaius | Prof. S. Keshav | Prof. A. V. S. Madhavapeddy | 2022-10-01 | 2026-09-30 | Self-Supervised Learning Approaches in Earth Observation Leveraging Physical Knowledge about the Interaction of Electro-Magnetic Radiation with Vegetation Canopies as Applied to Agriculture |
| Yaru Liu | Prof. R. K. Mantiuk | Prof. A. C. Oztireli | 2023-10-01 | 2027-09-30 | Efficient representations for 3D scenes |
| Joycelyn Longdon | Prof. A. F. Blackwell | Prof. S. Keshav | 2021-10-01 | 2026-01-30 | Visualising forest sound |
| Dimitrios Los | Dr T. M. Sauerwald | Dr A. Vlachos | 2019-10-01 | 2023-09-30 | Load Balancing for Online Problems |
| 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 |
| Dhruv Makwana | Prof. N. Krishnaswami | Prof. P. Sewell | 2020-04-10 | 2024-07-07 | Designing new low-level systems programming languages suitable for verification |
| Jessica Man | Prof. A. V. S. Madhavapeddy | Prof. J. A. Crowcroft | 2023-10-01 | 2027-09-30 | Trustworthy archivable decentralised identity system |
| Joseph March | Prof. R. K. Mantiuk | Prof. A. F. Blackwell | 2021-01-04 | 2025-01-04 | Design and Implementation of a Sparsely Sampled Path Tracer |
| Mila Marcheva | Dr W. Sun | Prof. S. H. Teufel | 2023-01-04 | 2027-01-03 | Modeling Child Second Language Acquisition |
| Andrei Margeloiu | Prof. M. Jamnik | Prof. P. Lio | 2020-10-01 | 2024-11-15 | Breaking the curse of dimensionality in low-data tasks |
| William Marino | Prof. N. D. Lane | Prof. P. Lio' | 2024-01-04 | 2028-01-03 | Aligning Generative AI with Humanity's Interests |
| Tina Marjanov | Prof. A. J. Hutchings | Prof. R. J. Anderson | 2023-10-01 | 2027-09-30 | Understanding and preventing the (ab)use of stolen data in underground marketplaces |
| Ioannis Markakis | Prof. J. Vicary | Prof. M. P. Fiore | 2020-10-01 | 2024-09-30 | A Computadic Approach to Multiple Categories |
| 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 | Prof. P. Lio | 2020-10-01 | 2025-10-25 | Interpretable, high-performing methodology for tabular data |
| Hope McGovern | Dr A. P. Caines | Prof. A. J. Hutchings | 2021-10-01 | 2025-09-30 | Computational narrative understanding |
| Eric Meissner | Prof. N. D. Lawrence | Dr R. M. Mortier | 2020-01-04 | 2024-01-03 | Fairness, Social Choice Theory and Machine Learning |
| Anna Mészáros | Dr F. Huszar | Dr C. Mishra | 2023-10-01 | 2027-09-30 | Geometric properties of non-convex optimization algorithms in machine learning |
| Aida Miralaei | Prof. T. M. Jones | Dr R. D. Mullins | 2017-10-01 | 2022-01-08 | Energy efficient in-memory approach for binary convolutional neural network |
| Yoàv Montacute | Prof. A. Dawar | Prof. A. M. Pitts | 2020-10-01 | 2024-09-30 | Coalgebras and game comonads |
| Steven Morad | Prof. A. S. Prorok | 2021-01-05 | 2025-01-04 | Graph neural memory: Applying graph neural networks to partially observable reinforcement learning | |
| Karl Mose | Prof. R. D. Mullins | Prof. T. M. Jones | 2023-10-01 | 2027-09-30 | The automatic and interactive discovery of processor microarchitectures |
| Jacob Moss | Prof. P. Lio' | Prof. M. Jamnik | 2020-10-01 | 2024-09-30 | Machine Learning Models of Genetic Regulation |
| Aamir Mustafa | Prof. R. K. Mantiuk | Dr D. Wischik | 2019-10-01 | 2023-09-30 | Image-to-Image Translation Using Less Data and Perceptual Loss Function |
| Andrii Nikolaev | Prof. S. H. Teufel | Dr W. Sun | 2023-04-17 | 2024-04-16 | Visting student |
| Omer Nivron | Dr D. J. Wischik | 2020-10-01 | 2024-09-30 | Towards a universal correction of climate simulators to observations | |
| Alexander Norcliffe | Prof. P. Lio', Dr B. M. Dumitrascu | Dr C. H. Ek | 2021-10-01 | 2025-09-30 | Composite Feature Selection |
| Jack O'Connor | Dr T. Gur | Dr T. M. Sauerwald | 2023-10-01 | 2025-09-30 | Zero-knowledge proofs |
| Wilfred Offord | Prof. J. Vicary | Prof. N. Krishnaswami | 2023-10-01 | 2027-09-30 | New computational models of higher categories |
| Felix Opolka | Prof. P. Lio' | TBA | 2019-10-01 | 2023-09-30 | Bayesian methods for inference on static and dynamic graphs |
| Charlotte Out | Dr T. M. Sauerwald | Prof. M. Jamnik | 2022-10-01 | 2026-09-30 | Information Spreading on Networks |
| Andrei Paleyes | Prof. N. D. Lawrence | Dr R. M. Mortier | 2020-01-04 | 2024-01-03 | Frameworks for Surrogate Modelling and Emulation |
| Shrankhla Pandey | Dr S. E. Morgan, Dr Graham Murray, Psych | Prof. P. Lio | 2023-04-17 | 2027-04-16 | Using computational speech markers to predict relapse for individual patients with psychotic disorders |
| Raghul Parthipan | Dr D. J. Wischik | 2020-10-01 | 2024-09-30 | ||
| Tomas Paulik | Prof. N. D. Lane | 2023-10-01 | 2027-09-30 | Sensor-based Edge Computing enhanced with Federated Learning | |
| Chun-Yu Peng | Dr M. G. Kuhn | Dr I. J. Wassell | 2021-10-01 | 2025-09-30 | Practical single-trace attacks on post-quantum cryptographic schemes |
| Thibaut Pérami | Prof. P. M. Sewell | Prof. N. Krishnaswami | 2021-10-01 | 2025-09-30 | System semantics |
| Tiago Pimentel Martins Da Silva | Prof. S. H. Teufel, Dr R. D. Cotterell | Dr R. Cotterell | 2019-10-01 | 2023-09-30 | Assessing Phonotactics |
| Meghan Plumridge | Prof. N. D. Lane, [Javascript required]; [Javascript required] | 2023-10-01 | 2027-09-30 | ||
| Rowan Poklewski-Koziell | Prof. J. Vicary | Prof. M. P. Fiore | 2023-01-04 | 2027-01-03 | Monads for interactive computation |
| 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 |
| Kehai Qiu | Dr I. J. Wassell | 2020-10-01 | 2024-09-30 | Machine-learning assisted radio access network planning: from outdoor to indoor | |
| Xinchi Qiu | Prof. N. D. Lane | Dr N. D. Lane | 2020-10-01 | 2024-09-30 | Optimization and efficient learning for Federated Learning |
| Nitarshan Rajkumar | Dr F. Huszar, Dr David Krueger (CUED) | Prof. N. D. Lawrence | 2021-10-01 | 2025-09-30 | Artificial Intelligence at Scale |
| Sanjiv Ranchod | Prof. M. P. Fiore | Prof. J. Vicary | 2022-10-01 | 2026-09-30 | Internal languages in computation, logic, and mathematics |
| Allison Randal | Prof. R. M. Mortier | Prof. A. V. S. Madhavapeddy | 2018-01-04 | 2022-01-04 | Characterising Computational Density in Datacentres |
| Aditya Ravuri | Prof. N. D. Lawrence | Dr C. H. Ek | 2021-10-01 | 2025-09-30 | Probabilistic interpretations of dimensionality reduction methods |
| Alexander Rice | Prof. J. Vicary | Prof. M. P. Fiore | 2020-10-01 | 2024-12-30 | Strictifying composition in weak\infty-categories |
| Diana Robinson | Prof. A. F. Blackwell | Dr David Good | 2020-01-04 | 2024-01-03 | From Tools to Languages: An exploration of Bayesian Clinical Decision Support using Probabilistic Programming |
| Fredrik Rømming | Dr S. B. Holden | Prof. M. Jamnik | 2022-10-01 | 2026-09-30 | Machine Learning for Automated Theorem Proving |
| Millend Roy | Prof. S. Keshav, Prof. J. A. Crowcroft | 2024-01-04 | 2028-01-03 | decision-control algorithms in the energy domain using Machine Learning and Operations Research techniques | |
| Luis Saavedra Del Toro | Prof. A. R. Beresford | Prof. C. Mascolo | 2021-10-01 | 2025-09-30 | Mobile ecosystems, application sideloading and user privacy |
| Vadim Safronov | Prof. R. M. Mortier | Prof. J. A. Crowcroft | 2019-10-01 | 2023-09-30 | Towards Distributed and Protocol-Independent IoT Interoperation in Smart Buildings] |
| Lorenzo Sani | Prof. N. D. Lane | Dr E. Kalyvianaki | 2022-10-01 | 2026-09-30 | Federated Learning |
| Chiara Sarti | Prof. J. Vicary | Prof. M. P. Fiore | 2022-10-01 | 2026-09-30 | Word problems in higher categories |
| Paul Scherer | Prof. P. Lio', Prof. M. Jamnik | Dr S. B. Holden | 2019-01-04 | 2023-05-04 | Utilization of graph structured data in machine learning for oncology |
| Bianca Schor | Prof. A. F. Blackwell, Dr J. Singh | Prof. A. J. Hutchings | 2022-01-04 | 2025-01-02 | |
| 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 |
| Yihang She | Prof. S. Keshav, [Javascript required] and [Javascript required] | 2023-10-01 | 2027-09-30 | ||
| David Sheets | Dr J. D. Yallop, Prof. J. A. Crowcroft | Prof. A. Mycroft | 2013-10-01 | 2023-05-31 | Resolution as a resource |
| Zakir Singh | Dr E. Yoneki | Prof. T. M. Jones | 2023-10-01 | 2027-09-30 | Equality Saturation for Deep Learning Compilers |
| Derek Sorensen | Prof. A. V. S. Madhavapeddy, Prof. S. Keshav | 2019-10-01 | 2023-09-30 | Synthetic Stable Homotopy Theory | |
| 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 |
| Marek Strelec | Prof. A. Vlachos | Prof. A. S. Prorok | 2022-10-01 | 2026-09-30 | Uncertainty in imitation learning |
| David Strohmaier | Prof. P. J. Buttery | apc31 | 2023-01-04 | 2027-01-03 | Neural Models of Lexical Semantic Acquisition |
| Jake Stuchbury-Wass | Prof. C. Mascolo | Prof. N. D. Lane | 2022-10-01 | 2026-09-30 | Investigating wearable device sensing for cardiovascular health monitoring |
| Tudor Suciu | Dr E. F. S. Shuckburgh | 2020-10-01 | 2024-09-30 | AI for Extreme Weather: the future of Coastal Flooding | |
| Si Suo | Prof. N. Krishnaswami | Prof. P. M. Sewell | 2023-10-01 | 2027-09-30 | Denotational models of bidirectional type inference |
| Filip Svoboda | Prof. N. D. Lane | Prof. P. Lio' | 2020-10-01 | 2024-09-30 | Learned Communication for Federated Neural Networks |
| 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 |
| Anna Talas | Prof. A. J. Hutchings | Prof. R. J. Anderson | 2023-10-01 | 2027-09-30 | Preserving privacy online during life transitions |
| Chi Ian Tang | Prof. C. Mascolo | Dr R. K. Harle | 2019-10-01 | 2023-09-30 | Semi-supervised Learning for Scalable Human Activity Recognition Systems |
| Justin Tan Jia Tian | Dr C. Mishra | Dr C. H. Ek | 2021-10-01 | 2025-09-30 | String theory and machine learning |
| Calin Tataru | Prof. J. Vicary | Prof. A. M. Pitts | 2020-10-01 | 2024-09-30 | Cubical models of higher categories |
| Pierre Thodoroff | Prof. N. D. Lawrence | Dr Carl Henrik Ek | 2020-10-01 | 2024-09-30 | Sequential Decision making in probabilistic models |
| Kieron Turk | Prof. A. J. Hutchings | Prof. R. J. Anderson | 2021-10-01 | 2025-09-30 | Interactions between Technology and Domestic Abuse |
| Wen Hoi Gladys Tyen | Prof. P. J. Buttery | Dr A. Caines | 2019-10-01 | 2023-09-30 | 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 | Understanding flatness, geometry and generalization from a mathematical perspective |
| Josef Valvoda | Prof. S. H. Teufel | Prof. P. J. Buttery | 2019-10-01 | 2023-09-30 | Robust Reasoning in the legal domain |
| Francisco Vargas | Prof. N. D. Lawrence | Prof. M. Jamnik | 2020-10-01 | 2024-09-30 | Dynamical Theories of Brownian Motion in Machine Learning |
| Diana Vasile | Prof. A. R. Beresford | Dr A. V. S. Madhavapeddy | 2015-04-10 | 2021-06-02 | Improving the delivery of security updates in distributed systems |
| Anna Vaughan | Prof. N. D. Lane | 2020-10-01 | 2024-09-30 | Functional representations for extreme weather prediction | |
| Sotirios Vavaroutas | Prof. C. Mascolo | Prof. P. Lio' | 2022-10-01 | 2026-09-30 | End-to-End Automation of the Machine Learning Pipeline for Unlabelled Data |
| Smita Vijaya Kumar | Dr E. Kalyvianaki, Prof. A. V. S. Madhavapeddy | To be appointed | 2019-10-01 | 2024-01-28 | Centralised Datacenter CPU Scheduling with Decentralised Schedulers |
| Ramon Viñas Torné | Prof. P. Lio' | Dr T. M. Sauerwald | 2019-10-01 | 2023-09-30 | Learning the generating mechanisms of multi-omics data |
| Mala Virdee | Dr C. H. Ek, E. Shuckberg | Prof. N. D. Lane | 2020-10-01 | 2025-01-13 | Multi-fidelity and multi-model ensemble prediction of climate extremes |
| Viet Anh Vu | Prof. A. J. Hutchings | Prof. R. J. Anderson | 2022-01-04 | 2026-01-03 | Measurement studies of the cybercrime underground |
| Chunlu Wang | Prof. A. J. Hutchings | Prof. P. J. Buttery | 2023-10-01 | 2027-09-30 | Effective and explainable multilingual hate speech detection in underground hacking and extremist forums |
| Taiyi Wang | Dr E. Yoneki | Prof. J. A. Crowcroft | 2021-10-01 | 2025-09-30 | Deep reinforcement learning in database management systems |
| Jennifer White | Prof. S. H. Teufel | Prof. P. J. Buttery | 2020-10-01 | 2024-09-30 | Gender De-biasing Methods for NLP |
| Konrad Witaszczyk | Prof. R. N. Watson | Prof. S. W. Moore | 2022-10-01 | 2026-09-30 | Hardware-assisted compartmentalization strategies in supervisor mode code |
| Haiqi Wu | Prof. J. Vicary | Prof. M. P. Fiore | 2022-10-01 | 2026-09-30 | Categorical structures in quantum theory |
| Jichun Wu | Prof. A. W. Moore | Prof. J. A. Crowcroft | 2023-10-01 | 2027-09-30 | Network systems security |
| Tianhao Wu | Prof. A. C. Oztireli | Prof. A. F. Blackwell | 2021-10-01 | 2025-09-30 | Image-based 3D Understanding via Neural Implicit Representations |
| Yvonne Wu | Prof. C. Mascolo | Prof. P. Lio' | 2021-10-01 | 2025-09-30 | Weakly-Supervised Learning for Wearable Sensing |
| Tong Xia | Prof. C. Mascolo | Prof. P. Lio | 2020-10-01 | 2024-09-30 | Listening to your health: Automatic and reliable respiratory disease detection through sounds |
| Huiyuan Xie | Prof. A. A. Copestake | Prof. S. H. Teufel | 2018-10-01 | 2023-06-30 | High-Quality Image Captioning Incorporating Formal Semantics |
| Junwei Yang | Prof. P. Lio' | Dr John Suckling | 2019-10-01 | 2023-09-30 | Deep learning for neuroscience and back |
| Yuxiao Ye | Prof. S. H. Teufel | Prof. P. J. Buttery | 2019-10-01 | 2024-03-30 | A multi-document model for informal, naturally occurring arguments |
| Fei Yin | Prof. R. K. Mantiuk | Prof. A. C. Oztireli | 2024-01-04 | 2028-01-03 | 3D Consistency Quality Assessment |
| Zhangdie Yuan | Prof. A. Vlachos | Prof. E. J. Briscoe | 2021-10-01 | 2025-09-30 | On Fact-Checking with Knowledge Graphs |
| Andi Zhang | Dr D. J. Wischik | Prof. P. Lio | 2019-10-01 | 2024-06-30 | Machine learning for discrete-structured datatypes |
| Haoting Zhang | Dr C. H. Ek | Prof. N. D. Lawrence | 2021-10-01 | 2025-09-30 | Active Learning and Optimisation of Drug Combinations |
| 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 | Robust and trustworthy decentralized learning for healthcare applications |
| Wanru Zhao | Prof. N. D. Lane | Prof. R. D. Mullins | 2023-01-04 | 2027-01-03 | Data-free knowledge distillation for Personalized Federated Learning |
| Chenliang Zhou | Prof. A. C. Oztireli | Prof. R. K. Mantiuk | 2021-10-01 | 2025-09-30 | Language Guided 3D Generative Representations |
| Xiaochen Zhu | Prof. A. Vlachos | Dr W. Sun | 2023-10-01 | 2027-09-30 | Explanation Generation in Natural Language Reasoning with A Semi-parametric Approach |