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 |
---|---|---|---|---|---|
Nida Abbasi | Dr 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 |
Guy Aglionby | Prof. S. H. Teufel | Dr P. J. Buttery | 2018-10-01 | 2022-09-30 | A neural-network-based attention mechanism for text summarisation |
Sami Alabed | Dr E. Yoneki | Prof. J. A. Crowcroft | 2019-10-01 | 2023-09-30 | Intelligent distributed stream processors |
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 |
Hesham Almatary | Prof. R. N. Watson | Prof. R. J. Anderson | 2018-04-17 | 2022-04-16 | CHERI architecture |
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 | Dr A. J. Hutchings | Prof. R. J. Anderson | 2020-10-01 | 2024-09-30 | Using NLP and ML to identify investment scam lures |
Minja Axelsson | Dr H. Gunes | Prof. A. F. Blackwell | 2020-10-01 | 2024-09-30 | Computational Behaviour Generation for a Robotic Well-being Coach |
Edward Ayers | Prof. M. Jamnik | Ignore - not our student | 2016-10-01 | 2020-09-30 | Automated explanatory web mathematician |
Tiago Azevedo | Prof. P. Lio', Prof. M. Spillantini | Dr T. Rittman | 2016-10-01 | 2020-09-30 | Machine Learning for personalised systems medicine |
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 |
Pietro Barbiero | Prof. P. Lio' | Prof. M. Jamnik | 2020-10-01 | 2024-09-30 | Neurosymbolic Models of Biomedical Twins |
Samuel Bell | Prof. N. D. Lawrence | Prof. Z. Kourtzi | 2018-10-01 | 2022-12-31 | |
David Berry | Prof. M. P. Fiore, Prof. J. Vicary | Prof. A. M. Pitts | 2021-10-01 | 2025-09-30 | Type Theories of Groupoids |
Matteo Bettini | Prof. A. S. Prorok | Prof. M. Jamnik | 2021-10-01 | 2025-09-30 | Environment Shaping for Multi-Agent Mobility |
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 |
Cristian Bodnar | Prof. P. Lio' | Prof. M. Jamnik | 2019-10-01 | 2023-09-30 | Geometric and Topological Deep Learning |
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 |
Nicholas Boucher | Prof. R. J. Anderson | Prof. A. R. Beresford | 2020-10-01 | 2024-09-30 | The protection of democratic mechanisms |
Edward Brown | Prof. N. D. Lane | 2020-10-01 | 2024-09-30 | Deep Learning applied to Solar Imaging in Space Weather Forecasting | |
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 |
Alexander Campbell | Prof. P. Lio' | Prof. John Suckling | 2019-10-01 | 2021-09-30 | To be agreed |
Annabelle Carrell | Dr F. Huszar | Prof. N. D. Lawrence | 2021-10-01 | 2025-09-30 | Understanding Generalisation of Gradient-Based Learning in Deep Neural Networks |
Alex Chadwick | Dr R. D. Mullins | Dr R. N. Watson | 2015-10-01 | 2021-08-09 | Design of operating systems for many-core systems |
Yiwen Chen | Prof. S. H. Teufel | Dr E. Yoneki | 2019-01-04 | 2023-01-03 | Generation of Haiku Explanations |
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 | Dr H. Gunes, Prof. P. Lio' | 2020-10-01 | 2023-09-30 | A Causal Approach towards Fairness in Facial Affect Recognition | |
Nikhil Churamani | Dr H. Gunes | Prof. A. F. Blackwell | 2018-10-01 | 2022-09-30 | Lifelong learning of affect in social robots |
Jessica Clarke | Prof. R. N. Watson | Professor S. W. Moore | 2018-10-01 | 2022-09-30 | Optimising Code for Modern Instruction Set-based Capability Systems |
Paula Czarnowska | Prof. A. A. Copestake | Dr P. J. Buttery | 2017-10-01 | 2022-04-11 | In search of meaning universals: Expolring morpheme semantics across different languages |
Oluwatomisin Dada | Prof. N. D. Lawrence, Dr Christian Steinrucken, CUED | Dr C. H. Ek | 2022-04-10 | 2026-04-09 | 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 |
Benjamin Day | Prof. P. Lio' | Dr T. M. Sauerwald | 2017-10-01 | 2022-01-30 | Developing AI inspired by statistical physics |
Jacob Deasy | Prof. P. Lio' | Prof. A. F. Blackwell | 2018-10-01 | 2022-09-30 | Machine learning in emergency care |
Christine De Kock | Prof. A. Vlachos | Dr R. D. Cotterell | 2019-10-01 | 2023-09-30 | Successful factors of online conversations |
Richard Diehl Martinez | Prof. P. J. Buttery | Dr W. Sun | 2021-10-01 | 2025-09-30 | Cognitively-Inspired Meta-Learning Algorithms for Transfer Learning |
Nikola Dodik | Dr A. C. Oztireli | Dr R. K. Mantiuk | 2022-04-10 | Neural Representations for Differential Geometry | |
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 | Temporal Consistency for Dynamic Graph Representation |
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 | Learning to Explain: Concept-based Interpretability in Deep Neural Networks for Medical Diagnosis |
Andrea Ferlini | Prof. C. Mascolo | Dr A. R. Beresford | 2019-01-04 | 2023-01-03 | Multi-modal in-ear sensing platform to sense behavioural cues |
Felipe Ferreira Santos | Prof. A. Dawar | TBC | 2020-01-04 | 2024-01-03 | Lower Bound Methods for Space-Restricted Complexity Classes |
Arduin Findeis | Prof. S. Keshav | Prof. J. A. Crowcroft | 2021-10-01 | 2025-09-30 | Using Reinforcement Learning to Control Grid-connected Energy Systems |
Paris Flood | Prof. P. Lio' | Dr A. S. Prorok | 2019-10-01 | 2023-09-30 | Machine Learning for personalized healthcare |
Franz Fuchs | Prof. S. W. Moore | Prof. R. N. Watson | 2021-10-01 | Transient-Execution Attacks and Mitigations using Capability-based Memory Protection | |
Salvator Galea | Prof. A. W. Moore | Dr Gianni Antichi | 2017-10-01 | 2022-06-28 | Traffic measurements with programmable data planes |
Dapeng Gao | Prof. R. N. Watson | Prof. S. W. Moore | 2021-10-01 | 2025-09-30 | Compartmentalising Software for CHERI |
Hongyun Gao | Dr R. K. Mantiuk | Dr A. C. Oztireli | 2022-01-04 | 2026-01-03 | Computational Photography |
Yan Gao | Prof. N. D. Lane | 2020-10-01 | 2024-09-30 | Decentralized Training of Acoustic Models for Speech Recognition | |
Rory Geeson | Dr S. B. Holden, Prof. P. Lio' | 2020-10-01 | 2024-09-30 | ||
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 | Dr N. Krishnaswami | Prof. P. M. Sewell | 2021-10-01 | Foundations of Bidirectional Type Inference | |
Jennifer Gielis | Prof. A. S. Prorok | awm11 | 2021-10-01 | Coupled Navigation-Networking Techniques for Mobile Robot Systems | |
Fazilet Gokbudak | Dr 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 |
Sian Gooding | Prof. E. J. Briscoe | Prof. Paula Buttery | 2019-10-01 | 2023-09-30 | Text Simplification for Language Learning |
Zebulon Goriely | Prof. P. J. Buttery | Prof. S. H. Teufel | 2021-10-01 | 2025-09-30 | Learning representations of language learners |
Katherine Green | Dr B. M. Dumitrascu, Dr Simeon Hill (BAS) | TBC | 2021-10-01 | 2025-09-30 | Understanding Ecosystem Dynamics for Marine Conservation |
Siyuan Guo | Dr F. Huszar | Prof. N. D. Lawrence | 2021-10-01 | 2025-09-30 | Causal Representation Learning with Deep Neural Networks |
Xuan Guo | Dr R. D. Mullins | Dr T. M. Jones | 2018-10-01 | 2022-09-30 | Efficient virtual memory and inter-core communication in heterogeneous many-core systems |
Brett Gutstein | Prof. R. N. Watson | Prof. S. W. Moore | 2018-10-01 | 2022-09-30 | Improving C-language memory safety with CHERI |
Rowan Hall Maudslay | Prof. S. H. Teufel | Prof. P. J. Buttery | 2020-10-01 | 2024-09-30 | Productive Metaphor in the Lexicon |
Angus Hammond | Dr N. Krishnaswami, Prof. P. M. Sewell | Prof. A. M. Pitts | 2019-10-01 | 2023-09-30 | Program logics for realistic ISAs |
Param Hanji | Dr 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 |
Apinan Hasthanasombat | Prof. C. Mascolo | Dr D. Wischik | 2018-10-01 | 2022-09-30 | Continual causal learning in personal analytics |
Guoliang He | Dr E. Yoneki | Prof. J. A. Crowcroft | 2021-10-01 | 2025-09-30 | Optimising Computer Systems using Bayesian Optimisation with Structure |
Amelia Holcomb | Prof. S. Keshav | Prof. J. A. Crowcroft | 2021-10-01 | 2025-09-30 | 3. Technological Advancements for Monitoring Forest Ecosystems |
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 | Dr 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 |
Dan Andrei Iliescu | Dr D. J. Wischik | Dr H. Gunes | 2019-10-01 | 2023-09-30 | An environment for data interaction, with machine learning support |
Joseph Isaacs | Prof. T. M. Jones | Prof. A. Mycroft | 2017-10-01 | 2022-07-07 | Extracting ultra-fine-grained program parallelism |
Al Amjad Tawfiq Isstaif | Prof. R. M. Mortier | Prof. J. A. Crowcroft | 2020-10-01 | 2024-09-30 | Autoscaling Applications at the Network Edge |
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 |
Akshay Jindal | Dr R. K. Mantiuk | Dr D. Wischik | 2019-01-04 | 2023-01-03 | Rendering for future display technologies |
Chaitanya Joshi | Prof. P. Lio' | Dr A. C. Oztireli | 2022-01-04 | 2026-01-03 | Graph neural networks based Combinatorial optimisation in computational biology and medicine |
Ilia Kaisin | Dr N. Krishnaswami | Prof. P. M. Sewell | 2021-10-01 | 2025-09-30 | Bidirectional type inference |
David Kaloper Mersinjak | Prof. A. V. S. Madhavapeddy, Prof. P. M. Sewell | Prof. P. M. Sewell | 2016-01-04 | 2020-01-03 | A re-engineered approach to security protocol specification and implementation |
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 |
Ceren Kocaoğullar | Prof. A. R. Beresford | Prof. R. N. Watson | 2021-10-01 | 2025-09-30 | Privacy-Preserving Local-First Software |
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 | Dr N. Krishnaswami | Prof. A. Mycroft | 2019-10-01 | 2023-09-30 | 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 |
De Sheng Royson Lee | Prof. N. D. Lane | Prof. C. Mascolo | 2021-01-05 | 2025-01-04 | Open Problems in Meta-Learning |
Michelle Lee | Dr J. Singh | Prof. J. A. Crowcroft | 2019-10-01 | 2023-09-30 | Automating the assessment of contextual fairness trade-offs in machine learning |
Pietro Lesci | Prof. A. Vlachos | Prof. E. J. Briscoe | 2021-10-01 | 2025-09-30 | Meta-learning for Natural Language Processing |
Qingbiao Li | Prof. A. S. Prorok | Dr T. M. Sauerwald | 2018-10-01 | 2022-09-30 | Learning-based methods for path planning in heterogeous robot teams |
Hanxue Liang | Dr A. C. Oztireli | Dr R. K. Mantiuk | 2022-01-04 | Self-Supervised Learing for 3D Feature Representation | |
Yilei Liang | Prof. J. A. Crowcroft | Prof. R. M. Mortier | 2021-10-01 | 2025-09-30 | Federated edge machine learning |
Edgaras Liberis | Prof. N. D. Lane | Dr R. D. Mullins | 2020-10-01 | 2024-09-30 | Efficient deep learning in resource-constrained environments |
Nandor Licker | Prof. T. M. Jones | Prof. A. Mycroft | 2018-10-01 | 2022-09-30 | Cross-language post-link optimisations |
Joycelyn Longdon | Prof. A. F. Blackwell | Prof. S. Keshav | 2021-10-01 | 2025-09-30 | Monitoring Ghanaian forest biodiversity and health with bioacoustics, machine learning and indigenous knowledge |
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 the Explainability and Interpretability of Deep Learning in Medicine |
Dhruv Makwana | Dr N. Krishnaswami | Prof. P. Sewell | 2020-04-10 | 2024-04-09 | Designing new low-level systems programming languages suitable for verification |
Chaitanya Mangla | Prof. L. C. Paulson, Dr S. B. Holden | Prof. L. Paulson | 2016-10-01 | 2021-12-18 | Machine Learning for Automated Theorem Proving |
Joseph March | Dr R. K. Mantiuk | Prof. A. F. Blackwell | 2021-01-04 | 2025-01-04 | Design and Implementation of a Sparsely Sampled Path Tracer |
Andrei Margeloiu | Prof. M. Jamnik | Prof. P. Lio | 2020-10-01 | 2024-09-30 | Breaking the curse of dimensionality in low-data tasks |
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 | machine learning and Bioinformatics methods to detect climate changes signatures |
Urška Matjašec | Prof. M. Jamnik | Prof. P. Lio | 2020-10-01 | 2024-09-30 | Interpretable, high-performing methodology for tabular data |
Hope McGovern | Dr A. P. Caines | Dr A. J. Hutchings | 2021-10-01 | 2025-09-30 | Natural language processing of religious texts |
Eric Meissner | Prof. N. D. Lawrence | Dr R. M. Mortier | 2020-01-04 | 2024-01-03 | Fairness, Social Choice Theory and 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 | |
Jacob Moss | Prof. P. Lio' | Prof. M. Jamnik | 2020-10-01 | 2024-09-30 | Machine Learning Models of Genetic Regulation |
Aamir Mustafa | Dr R. K. Mantiuk | Dr D. Wischik | 2019-10-01 | 2023-09-30 | Image-to-Image Translation Using Less Data and Perceptual Loss Function |
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 | Deep Learning and Neural ODEs for Time-Series Analysis and Forecasting in Medical Prognosis |
Adam O' Conghaile | Prof. A. Dawar | Prof. A. M. Pitts | 2018-10-01 | 2022-09-30 | Resources and coresources: compositional methods in finite model theory and descriptive complexity |
Felix Opolka | Prof. P. Lio' | TBA | 2019-10-01 | 2023-09-30 | Bayesian methods for inference on static and dynamic graphs |
Andrei Paleyes | Prof. N. D. Lawrence | Dr R. M. Mortier | 2020-01-04 | 2024-01-03 | Frameworks for Surrogate Modelling and Emulation |
Raghul Parthipan | Dr D. J. Wischik | 2020-10-01 | 2024-09-30 | ||
Chun-Yu Peng | Dr M. G. Kuhn | Dr I. J. Wassell | 2021-10-01 | Side-channel security of post-quantum cryptography algorithms | |
Thibaut Pérami | Prof. P. M. Sewell | Dr 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 |
Jovan Powar | Prof. A. R. Beresford, Dr J. Singh | Dr R. K. Harle | 2017-10-01 | 2022-04-16 | Privacy techniques for mobile computing |
Carlos Purves | Prof. P. Lio' | Prof. N. D. Lane | 2022-01-04 | Reinforcement Learning on the Edge: Specialised Control Policies with Limited Resources | |
Lorena Qendro | Prof. C. Mascolo | Dr A. R. Beresford | 2018-10-01 | 2023-01-19 | Uncertainty aware mobile sensing: Exploiting uncertainty estimations to inform sensor fusion and model selection |
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 | Robust Generalisation in Deep Learning |
Allison Randal | Prof. R. M. Mortier | Dr 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 | Unsupervised Gaussian Process Models in Biological Data |
Alexandre Raymond | Prof. A. S. Prorok, Dr H. Gunes | Dr A. R. Beresford | 2018-10-01 | 2022-09-30 | Explainable path planning |
Alexander Rice | Prof. J. Vicary | Prof. M. P. Fiore | 2020-10-01 | 2024-09-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 |
Emma Rocheteau | Prof. P. Lio' | Dr M. Jamnik | 2017-10-01 | 2022-04-15 | Predicting outcomes in psychiatric disorders using automated reinforcement-learning analysis of electronic health records |
Peter Rugg | Prof. S. W. Moore | Dr R. N. Watson | 2018-10-01 | 2022-09-30 | Efficient microarchitecture for capability machines |
Luis Saavedra Del Toro | Prof. A. R. Beresford | Prof. C. Mascolo | 2021-10-01 | Security and privacy in smart cities | |
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] |
Paul Scherer | Prof. P. Lio', Prof. M. Jamnik | Dr S. B. Holden | 2019-01-04 | 2023-01-03 | Utilization of graph structured data in machine learning for oncology |
Bianca Schor | Prof. A. F. Blackwell, Dr J. Singh | Dr 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 | Location Awareness Accuracy Improvement for Full-Mesh IoT Network for CAV and 5G applications |
Omer Sella | Prof. A. W. Moore, Dr N. Zilberman | Prof. J. A. Crowcroft | 2017-10-01 | 2022-06-30 | Adaptive network fabrics for rackscale |
David Sheets | Prof. A. V. S. Madhavapeddy, Prof. J. A. Crowcroft | Prof. A. Mycroft | 2013-10-01 | 2017-09-30 | Resolution as a resource |
Ben Simner | Prof. P. M. Sewell | Prof. S. W. Moore | 2018-10-01 | 2022-09-30 | ARM System semantics |
Agnieszka Słowik | Dr S. B. Holden, Prof. M. Jamnik | Dr D. Wischik | 2019-01-04 | 2023-01-03 | Machine Learning for Theorem Proving |
Zhiyuan Song | Dr H. Gunes | Dr A. C. Oztireli | 2022-01-04 | Learning Graph Representations for Facial Affect Recognition | |
Derek Sorensen | Prof. A. V. S. Madhavapeddy, Prof. S. Keshav | 2019-10-01 | 2023-09-30 | Synthetic Stable Homotopy Theory | |
Yiannos Stathopoulos | Prof. S. H. Teufel | Dr S. Clark | 2013-10-01 | 2017-12-30 | Retrieval of mathematical concepts via deep indexing |
Shaun Steenkamp | Prof. A. M. Pitts | Professor M. P. Fiore | 2018-10-01 | 2022-09-30 | Quotients in type theory |
Domagoj Stolfa | Prof. R. N. Watson | Dr A. R. Beresford | 2017-10-01 | 2022-09-30 | Developing new distributed tracing methodologies |
Tudor Suciu | Dr E. F. S. Shuckburgh | 2020-10-01 | 2024-09-30 | AI for Extreme Weather: the future of Coastal Flooding | |
Filip Svoboda | Prof. N. D. Lane | Prof. P. Lio' | 2020-10-01 | 2024-09-30 | Learned Communication for Federated Neural Networks |
Dmitrij Szamozvancev | Dr N. Krishnaswami | Prof. M. P. Fiore | 2018-10-01 | 2022-09-30 | Second order abstract syntax for compuational reflection |
Shyam Tailor | Prof. N. D. Lane | Dr R. D. Mullins | 2020-10-01 | 2023-09-30 | Accelerating Neural Networks for Graph Structured Data |
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 | Machine Learning and String theory |
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 | Dr A. J. Hutchings | Prof. R. J. Anderson | 2021-10-01 | 2025-09-30 | Investigating the impact of technology on 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 |
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 | |
Smita Vijaya Kumar | Dr E. Kalyvianaki, Prof. A. V. S. Madhavapeddy | To be appointed | 2019-10-01 | 2023-09-30 | 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 | 2020-10-01 | 2024-09-30 | ||
Viet Anh Vu | Dr A. J. Hutchings | Prof. R. J. Anderson | 2022-01-04 | Tracking the Impact of Disruptions and Interventions on User Behaviour and Socioeconomic Dynamics of Online Cybercrime Platforms | |
Taiyi Wang | Dr E. Yoneki | Prof. J. A. Crowcroft | 2021-10-01 | 2025-09-30 | Management and Optimisation of the Data Structure and Indexing in Database Systems |
Jennifer White | Prof. S. H. Teufel | Prof. P. J. Buttery | 2020-10-01 | 2024-09-30 | Gender De-biasing Methods for NLP |
Tianhao Wu | Dr A. C. Oztireli | Prof. A. F. Blackwell | 2021-10-01 | 2025-09-30 | Unsupervised Generalisable 3D Reconstruction from Images with Implicit Neural Representations and Neural Rendering |
Yvonne Wu | Prof. C. Mascolo | Prof. P. Lio' | 2021-10-01 | 2025-09-30 | Wearable Sensor Data Machine learning |
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 | Dr S. H. Teufel | 2018-10-01 | 2022-09-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 | 2023-09-30 | A multi-document model for informal, naturally occurring arguments |
Shih-Chun You | Dr M. G. Kuhn | Dr S. Skorobogatov | 2018-10-01 | 2022-09-30 | Side-channel analysis of cryptographic algorithms |
Zhangdie Yuan | Prof. A. Vlachos | Prof. E. J. Briscoe | 2021-10-01 | Automated Fact Checking | |
Dingcheng Yue | Dr R. K. Mantiuk | Prof. A. F. Blackwell | 2018-10-01 | 2022-09-30 | Representation for image based rendering |
Andi Zhang | Dr D. J. Wischik | Prof. P. Lio | 2019-10-01 | 2023-09-30 | Machine learning for discrete-structured datatypes |
Hao Zhang | Prof. P. Lio' | Dr S. B. Holden | 2022-04-10 | Generalisation of Molecular Generation | |
Haoting Zhang | Dr C. H. Ek | 2021-10-01 | 2025-09-30 | ||
Fangcheng Zhong | Dr R. K. Mantiuk | Prof. A. F. Blackwell | 2018-10-01 | 2022-09-30 | Perceptual rendering for computational displays |
Chenliang Zhou | Dr A. C. Oztireli | Dr R. K. Mantiuk | 2021-10-01 | 3D machine perception | |
Jin Zhu | Prof. P. Lio' | Dr M. G. Kuhn | 2016-10-01 | 2021-10-31 | Deep neural networks for medical image segmentation |
Ran Zmigrod | Prof. T. G. Griffin, Dr R. D. Cotterell | Dr A. Vlachos | 2019-10-01 | 2023-09-30 | An Algorithmic Framework for Fast and Correct Dependency Parsing |