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 | Personalised Patient Care using Human Robot Collaboration |
| 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 | Dr R. N. Watson | Prof. R. J. Anderson | 2018-04-17 | 2022-04-16 | CHERI architecture |
| Rami Aly | Dr A. Vlachos | Prof. E. J. Briscoe | 2020-10-01 | 2024-09-30 | Neural-Symbolic Reasoning for the Verification of Complex Claims |
| Mahwish Arif | Dr T. M. Jones | 2020-10-01 | 2024-09-30 | Software Frameworks for Efficient Security Mechanisms | |
| Nathanael Arkor | Prof. M. P. Fiore | Prof. A. M. Pitts | 2018-10-01 | 2022-09-30 | Algebraic type theory: syntax and semantics |
| Jose Atondo Siu | Dr A. J. Hutchings | Prof. R. J. Anderson | 2020-10-01 | 2024-09-30 | Understanding and detecting illicit money flows |
| 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 | 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 | Physics Based Propagation Modelling and Integration with Network Protocol Design |
| 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-09-30 | |
| David Berry | Prof. M. P. Fiore, Dr J. Vicary | Prof. A. M. Pitts | 2021-10-01 | Type Theories of Groupoids | |
| Matteo Bettini | Dr A. S. Prorok | Prof. M. Jamnik | 2021-10-01 | Environment Shaping for Multi-Agent Mobility | |
| Peter Blandford-Baker | Dr R. N. Watson | Prof. S. W. Moore | 2020-10-01 | 2024-09-30 | Using a Userspace CHERI Microkernel for a Shared Address-Space Process Model |
| Virginia Blessing | Prof. A. R. Beresford | Dr A. J. Hutchings | 2021-10-01 | Measuring the Cost of Government Surveillance | |
| Jan Blumenkamp | Dr 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 | Dr 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 | Unsupervised learning for modelling single cell to organ data |
| Kayla-Jade Butkow | Prof. C. Mascolo | 2020-10-01 | 2024-09-30 | ||
| Baris Cam | Dr A. C. Oztireli | Dr R. K. Mantiuk | 2021-10-01 | Improving Generalization Capability of Neural Rendering Architectures by Integrating Non-Differentiable Graphics Modules | |
| 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 | 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 | Dr 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 | ||
| Jing Heng Chia | Dr A. C. Oztireli | Prof. A. F. Blackwell | 2021-10-01 | Towards a unified approach for high-fidelity learning-based 3D geometry reconstruction | |
| Nikhil Churamani | Dr H. Gunes | Prof. A. F. Blackwell | 2018-10-01 | 2022-09-30 | Lifelong learning of affect in social robots |
| Jessica Clarke | Dr R. N. Watson | Professor S. W. Moore | 2018-10-01 | 2022-09-30 | Optimising Code for Modern Instruction Set-based Capability Systems |
| Mistral Contrastin | Prof. A. C. Rice | Prof. A. Mycroft | 2016-10-01 | 2021-03-30 | Static verification of scientific programs |
| Paula Czarnowska | Prof. A. A. Copestake | Dr P. J. Buttery | 2017-10-01 | 2021-09-30 | In search of meaning universals: Expolring morpheme semantics across different languages |
| Oluwatomisin Dada | Prof. N. D. Lawrence | Dr C. H. Ek | 2021-10-01 | Reinforcement Learning in Disaggregated Energy Systems | |
| Christopher Davis | Prof. P. J. Buttery | Prof. A. A. Copestake | 2017-10-01 | 2022-01-04 | Using multimodal models to facilitate adaptive language learning |
| Benjamin Day | Prof. P. Lio' | Dr T. M. Sauerwald | 2017-10-01 | 2021-09-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 | Dr 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 | Cognitively-Inspired Meta-Learning Algorithms for Transfer Learning | |
| Nikola Dodik | Dr A. C. Oztireli | Dr R. K. Mantiuk | 2022-01-04 | Neural Representations for Differential Geometry | |
| Michael Dodson | Prof. A. R. Beresford | Dr R. K. Harle | 2018-10-01 | 2022-09-30 | Securing safety-critical computer systems |
| Petr Dolezal | Prof. S. Keshav | Prof. J. A. Crowcroft | 2020-10-01 | 2024-09-30 | |
| Iulia Duta | Prof. P. Lio' | Prof. C. Mascolo | 2021-10-01 | 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 | TBC | 2021-10-01 | 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 | Dr T. M. Jones | Dr R. D. Mullins | 2020-10-01 | 2024-09-30 | Investigating TLS in high-performance processors |
| Mateo Espinosa Zarlenga | Prof. M. Jamnik | Dr S. B. Holden | 2021-10-01 | 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 | 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 | Dr 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 | 2021-09-30 | Traffic measurements with programmable data planes |
| Dapeng Gao | Dr R. N. Watson | Prof. S. W. Moore | 2021-10-01 | Compartmentalising Software for CHERI | |
| Hongyun Gao | Dr R. K. Mantiuk | Dr A. C. Oztireli | 2021-10-01 | Computational Photography | |
| Yan Gao | Dr N. D. Lane | 2020-10-01 | 2024-09-30 | ||
| 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 execution of graph algorithms |
| Jad Elkhaleq Ghalayini | Dr N. Krishnaswami | Prof. P. M. Sewell | 2021-10-01 | Foundations of Bidirectional Type Inference | |
| Jennifer Gielis | Dr 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 | Reconstructing 3D Digital Representations of Scenes for Extending Reality |
| Ivan Mauro Gomes Ribeiro | Prof. S. W. Moore | Dr R. N. Watson | 2021-10-01 | 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 | Learning representations of language learners | |
| Katherine Green | Dr B. M. Dumitrascu, Dr Simone Hill (BAS) | TBC | 2021-10-01 | Understanding Ecosystem Dynamics for Marine Conservation | |
| Siyuan Guo | Dr F. Huszar | Prof. N. D. Lawrence | 2021-10-01 | 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 | Dr 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 | Multilingual Metaphor Detection and Interpretation |
| 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 | 2022-01-04 | 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 | Optimising Computer Systems using Bayesian Optimisation with Structure | |
| Amelia Holcomb | Prof. S. Keshav | Prof. J. A. Crowcroft | 2021-10-01 | 3. Technological Advancements for Monitoring Forest Ecosystems | |
| Hilje Anna Ida Hudig | Dr J. Singh | Prof. R. M. Mortier | 2021-10-01 | Designing responsible decentralised data processing 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 |
| Toshiharu Igarashi | Dr H. Gunes | Dr R. K. Mantiuk | 2021-01-04 | 2025-01-04 | |
| 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 | Dr T. M. Jones | Prof. A. Mycroft | 2017-10-01 | 2021-09-30 | 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 |
| Andrej Ivaskovic | Prof. A. Mycroft | Dr N. Krishnaswami | 2018-10-01 | 2022-09-30 | Graded structures in program analysis |
| Andrew Jeffery | Prof. R. M. Mortier | Prof. J. A. Crowcroft | 2020-10-01 | 2024-09-30 | Decentralised Cluster Orchestration First Year Report |
| Christopher Jensen | Prof. R. M. Mortier | Dr Heidi Howard | 2020-10-01 | 2024-09-30 | Reconfigurable Consensus |
| Qiaochu Jiang | Prof. M. Jamnik | Dr A. S. Prorok | 2021-10-01 | 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 | Graph neural networks based Combinatorial optimisation in computational biology and medicine | |
| Ilia Kaisin | Dr N. Krishnaswami | Prof. P. M. Sewell | 2021-10-01 | Bidirectional type inference | |
| David Kaloper Mersinjak | Dr 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 | Dr 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 | Dr R. N. Watson | 2021-10-01 | Privacy-Preserving Local-First Software | |
| Michail Korakakis | Dr A. Vlachos | Prof. E. J. Briscoe | 2020-10-01 | 2024-09-30 | Language Understanding for Text-based Games with Imitation Learning |
| Ryan Kortvelesy | Dr 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. C. Rice | 2019-10-01 | 2023-09-30 | Integrating machine learning in to the IDE |
| Adam Kucz | Prof. M. P. Fiore | Dr J. D. Yallop | 2020-10-01 | 2024-09-30 | Algebraic Computational Effects in Programming Languages |
| Young Dae Kwon | Prof. C. Mascolo | Prof. A. R. Beresford | 2020-10-01 | 2024-09-30 | Continual learning in mobile sensing |
| De Sheng Royson Lee | Dr N. D. Lane | Prof. C. Mascolo | 2021-01-05 | 2025-01-04 | Data and systems efficiency in video, image and audio synthesis tasks |
| 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 | Dr A. Vlachos | Prof. E. J. Briscoe | 2021-10-01 | Meta-learning for Natural Language Processing | |
| Qingbiao Li | Dr 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 | 2021-10-01 | Self-Supervised Learing for 3D Feature Representation | |
| Yilei Liang | Prof. J. A. Crowcroft | Prof. R. M. Mortier | 2021-10-01 | Federated edge machine learning | |
| Edgaras Liberis | Dr N. D. Lane | Dr R. D. Mullins | 2020-10-01 | 2024-09-30 | Efficient deep learning in resource-constrained environments |
| Nandor Licker | Dr T. M. Jones | Prof. A. Mycroft | 2018-10-01 | 2022-09-30 | Cross-language post-link optimisations |
| Leo Lobski | Dr J. Vicary | Prof. A. Dawar | 2022-01-04 | Categorical Models of Computational Structures | |
| Joycelyn Longdon | Prof. A. F. Blackwell | Prof. S. Keshav | 2021-10-01 | 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 | 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-09-30 | 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 | Dr J. Vicary | Prof. M. P. Fiore | 2020-10-01 | 2024-09-30 | New models for type theory and its applications |
| Simon Mathis | Prof. P. Lio' | Dr M. Clark (BAS) | 2021-10-01 | 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 | Making deep neural networks more transparent by explaining their decisions |
| Hope Mc Govern | Dr A. P. Caines | Dr A. J. Hutchings | 2021-10-01 | 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 | Dr 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 | Monadic and comonadic constructions of algorithms |
| Russell Moore | Prof. P. J. Buttery | Dr A. C. Rice | 2016-01-04 | 2021-01-04 | Inferring knowledge-domain structure from student data |
| Steven Morad | Dr A. S. Prorok | 2021-01-05 | 2025-01-04 | Visual-Semantic Navigation in Autonomous Agent Systems | |
| Jacob Moss | Prof. P. Lio' | Prof. M. Jamnik | 2020-10-01 | 2024-09-30 | Integrative Gene-Drug Networks Inference for Drug Discovery |
| 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 | 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 |
| Indigo Orton | Prof. A. Mycroft | Dr E. Kalyvianaki | 2019-10-01 | 2023-09-30 | Dynamic Analysis for Concurrency Optimisation |
| 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 | 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 | 2021-09-30 | Privacy techniques for mobile computing |
| Carlos Purves | Prof. P. Lio' | Dr 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 | 2022-09-30 | 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 | ||
| Xinchi Qiu | Dr N. D. Lane | Dr N. D. Lane | 2020-10-01 | 2024-09-30 | On Efficient and Federated Learning Paradigms |
| Nitarshan Rajkumar | Dr F. Huszar | Prof. N. D. Lawrence | 2021-10-01 | 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 | Unsupervised Gaussian Process Models in Biological Data | |
| Alexandre Raymond | Dr A. S. Prorok, Dr H. Gunes | Dr A. R. Beresford | 2018-10-01 | 2022-09-30 | Explainable path planning |
| Alexander Rice | Dr 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 | 2021-09-30 | 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] |
| Hayk Saribekyan | Dr T. M. Sauerwald | Dr M. Jamnik | 2017-10-01 | 2021-09-30 | Information spreading in distributed computing |
| 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 | 2022-01-04 | 2025-01-02 | ||
| Omer Sella | Prof. A. W. Moore, Dr N. Zilberman | Prof. J. A. Crowcroft | 2017-10-01 | 2021-09-30 | Adaptive network fabrics for rackscale |
| David Sheets | Dr A. V. S. Madhavapeddy, Prof. J. A. Crowcroft | Prof. A. Mycroft | 2013-10-01 | 2017-09-30 | Resolution as a resource |
| Ilia Shumailov | Prof. R. J. Anderson | Dr R. N. Watson | 2017-10-01 | 2021-09-30 | Behavioural manipulation of robotic herds |
| 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. M. P. Fiore | Prof. A. Dawar | 2019-10-01 | 2023-09-30 | Synthetic Stable Homotopy Theory |
| Simeon Spasov | Prof. P. Lio', Prof. M. Spillantini (ClinMed) | Dr M. Jamnik | 2016-10-01 | 2020-09-30 | Semi-supervised learning methods for data-scarce computer vision tasks |
| Dimitrios Spathis | Prof. C. Mascolo | Dr Jason Rentfrow | 2017-10-01 | 2021-09-30 | Multi-task and multi-modal deep learning on heterogenous mobile sensing data |
| Pablo Spivakovsky-Gonzalez | Prof. P. Lio' | Dr Melissa Clark (BAS) | 2015-10-01 | 2021-09-30 | Cold Fish |
| Shaun Steenkamp | Prof. A. M. Pitts | Professor M. P. Fiore | 2018-10-01 | 2022-09-30 | Quotients in type theory |
| Aaron Stockdill | Prof. M. Jamnik | Dr S. B. Holden | 2017-10-01 | 2021-09-30 | Automating representation change across domains for reasoning |
| Domagoj Stolfa | Dr R. N. Watson | Dr A. R. Beresford | 2017-10-01 | 2021-09-30 | Developing new distributed tracing methodologies |
| Tudor Suciu | Dr E. F. S. Shuckburgh | 2020-10-01 | 2024-09-30 | ||
| Filip Svoboda | Dr N. D. Lane | Prof. P. Lio' | 2020-10-01 | 2024-09-30 | Deep Learning Efficiency: a path towards a rational automated machine learner |
| Dmitrij Szamozvancev | Dr N. Krishnaswami | Prof. M. P. Fiore | 2018-10-01 | 2022-09-30 | Second order abstract syntax for compuational reflection |
| Shyam Tailor | Dr N. D. Lane | Dr R. D. Mullins | 2020-10-01 | 2024-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 | Machine Learning and String theory | |
| Zahra Tarkhani | Dr A. V. S. Madhavapeddy | Prof. J. A. Crowcroft | 2018-01-04 | 2022-01-03 | Trusted computation on untrusted Cloud |
| Calin Tataru | Dr 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 |
| James Thorne | Dr A. Vlachos | Prof. A. A. Copestake | 2019-01-04 | 2023-01-03 | Interpretable Automation of Information Verification and Fact Checking |
| Kieron Turk | Dr A. J. Hutchings | Prof. R. J. Anderson | 2021-10-01 | 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 |
| Danny Vagnozzi | Prof. A. Dawar | Prof. A. M. Pitts | 2017-10-01 | 2021-09-30 | Graph Isomorphism |
| Josef Valvoda | Prof. S. H. Teufel | Prof. P. J. Buttery | 2019-10-01 | 2023-09-30 | Robust Reasoning in the legal domain |
| Marno Van Der Maas | Prof. S. W. Moore | Dr R. N. Watson | 2017-10-01 | 2021-09-30 | Private Application Execution |
| Francisco Vargas | Prof. N. D. Lawrence | Prof. M. Jamnik | 2020-10-01 | 2024-09-30 | Bridging Mechanistic and Data Driven Modelling |
| 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 | Dr N. D. Lane | 2020-10-01 | 2024-09-30 | Functional representations for extreme weather prediction | |
| Anita Vero | Prof. A. A. Copestake | Dr S. H. Teufel | 2015-10-01 | 2021-07-31 | Multi-modal semantics for Natural Language Processing |
| Smita Vijaya Kumar | Dr E. Kalyvianaki, Dr 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 | 2021-10-01 | 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 | 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 |
| Vijja Wichitwechkarn | Prof. P. Lio' | Prof. M. Jamnik | 2022-01-04 | AI in medicine | |
| Kawin Worrasangasilpa | Prof. L. C. Paulson | Prof. A. Dawar | 2017-01-05 | 2021-01-04 | Formal Verification and Graph Algorithms |
| Tianhao Wu | Dr A. C. Oztireli | Prof. A. F. Blackwell | 2021-10-01 | Unsupervised Generalisable 3D Reconstruction from Images with Implicit Neural Representations and Neural Rendering | |
| Yu Wu | Prof. C. Mascolo | Dr N. D. Lane | 2021-10-01 | 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 | Dr 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-01-04 | Generalisation of Molecular Generation | |
| Yiren Zhao | Dr R. D. Mullins | Dr T. M. Jones | 2017-10-01 | 2021-09-30 | Software and hardware codesign for efficient neural networks |
| 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-09-30 | 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 |