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 |