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