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 | 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 |
| Mansoor Ahmed | Prof. R. J. Anderson | Dr R. N. Watson | 2017-10-01 | 2021-09-30 | Effective governance by and of blockchain |
| Sami Alabed | Dr E. Yoneki | Prof. J. A. Crowcroft | 2019-10-01 | 2023-09-30 | Intelligent distributed stream processors |
| Nathanael Alcock | Prof. M. P. Fiore | Prof. A. M. Pitts | 2018-10-01 | 2022-09-30 | Algebraic type theory: syntax and semantics |
| Anwaar Ali | Prof. J. A. Crowcroft, Dr A. Sathiaseelan | Dr J. Singh, Prof. R. J. Anderson | 2017-04-17 | 2021-04-16 | 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 | Neural-Symbolic Reasoning for the Verification of Complex Claims | |
| Mahwish Arif | Dr T. M. Jones | 2020-10-01 | Software Frameworks for Efficient Security Mechanisms | ||
| Jose Atondo Siu | Dr A. J. Hutchings | Prof. R. J. Anderson | 2020-10-01 | Understanding and detecting illicit money flows | |
| Minja Axelsson | Dr H. Gunes | Prof. A. F. Blackwell | 2020-10-01 | Designing and generating behaviours for a robotic wellness 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 | Physics Based Propagation Modelling and Integration with Network Protocol Design | |
| Ntombikayise Banda | Prof. P. Robinson | Prof. N. A. Dodgson | 2010-10-01 | 2016-09-30 | Multi-modal fusion for affective inference |
| Pietro Barbiero | Prof. P. Lio' | Prof. M. Jamnik | 2020-04-10 | Towards Interpretable Artificial Intelligence | |
| Pavel Berkovich | Dr C. H. Ek | 2021-01-04 | |||
| Peter Blandford-Baker | Dr R. N. Watson | Prof. S. W. Moore | 2020-10-01 | Using a Userspace CHERI Microkernel for a Shared Address-Space Process Model | |
| Jan Blumenkamp | Dr A. S. Prorok | Dr C. Oztireli | 2020-10-01 | Closing the reality gap in multi-agent reinforcement learning | |
| Cristian Bodnar | Prof. P. Lio' | Prof. M. Jamnik | 2019-10-01 | 2023-09-30 | Geometric and Topological Deep Learning |
| Erika Bondavera | Prof. C. Mascolo | Dr H. Gunes | 2019-10-01 | 2023-09-30 | To be agreed |
| Edward Brown | Dr N. D. Lane | 2020-10-01 | |||
| Daniel Bruder | Prof. S. H. Teufel | Prof. E. J. Briscoe | 2016-10-01 | 2020-09-30 | Graph-based operational transformations and semantic version management for multi-hierarchical non-linear text archives |
| David Buterez | Prof. P. Lio' | Prof. M. Jamnik | 2020-10-01 | Unsupervised learning for modelling single cell to organ data | |
| Kayla Butkow | Prof. C. Mascolo | 2019-10-01 | |||
| Marco Caballero Gutierrez | Prof. J. A. Crowcroft | Dr R. M. Mortier | 2016-10-01 | 2020-09-30 | Multi-radio wireless ad-hoc routing |
| Leran Cai | Dr T. M. Sauerwald | Prof. A. Dawar | 2016-10-01 | 2020-09-30 | Network algorithms based on Markov Chains |
| Alexander Campbell | Prof. P. Lio' | Prof. John Suckling | 2019-10-01 | 2021-09-30 | To be agreed |
| Catalina Cangea | Prof. P. Lio' | Dr M. Jamnik | 2017-10-01 | 2021-04-08 | Machine learning for multimodal data |
| Mario Cekic | Dr T. G. Griffin | Prof. M. P. Fiore | 2016-10-01 | 2020-12-30 | Develop high-level specifications for optimisation problems |
| Alex Chadwick | Dr R. D. Mullins | Dr R. N. Watson | 2015-10-01 | 2020-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 | 2020-10-01 | Exploring the use dynamic oracles in imitation learning | |
| Jiaee Cheong | Dr H. Gunes | 2019-10-01 | 2023-09-30 | ||
| 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 | Dr A. C. Rice | Prof. A. Mycroft | 2016-10-01 | 2020-09-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 |
| Christopher Davis | Prof. P. J. Buttery | Prof. A. A. Copestake | 2017-10-01 | 2021-09-30 | 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 | Automated moderation of toxic comments in online news platforms |
| Botty Dimanov | Prof. M. Jamnik | Dr P. Lio | 2016-10-01 | 2020-09-30 | Interpretable deep learning |
| 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 | 2020-10-01 | |||
| Iulia Duta | Prof. P. Lio' | Prof. M. Jamnik (in the first instance) | 2021-01-04 | Exploiting the structure of dynamic data using graph representation learning | |
| Chelsea Edmonds | Prof. L. C. Paulson | Prof. M. Jamnik | 2019-10-01 | 2023-09-30 | The formalisation of combinatorial design 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 |
| Christopher Elsby | Prof. A. Mycroft | Dr A. C. Rice | 2015-10-01 | 2019-09-30 | Idiomatic inter-language compilation |
| Dimitrije Erdeljan | Dr M. G. Kuhn | Dr I. J. Wassell | 2019-10-01 | 2023-09-30 | Electro-magnetic side channels in mobile devices |
| Marton Erdos | Dr T. M. Jones | Dr R. D. Mullins | 2020-10-01 | Investigating TLS in high-performance processors | |
| Lawrence Esswood | Dr R. N. Watson | Prof. R. J. Anderson | 2015-10-01 | 2019-09-30 | Automated Software Exploitation and Mitigation |
| Youmna Farag | Prof. E. J. Briscoe | TBA | 2016-10-01 | 2020-09-30 | Computational models of discourse |
| Ayat Fekry | Dr A. C. Rice | Dr I. J. Wassell | 2016-10-01 | 2020-09-30 | Provenance for Accelerating Big Data Analytics |
| Angelo Feraudo | Prof. J. A. Crowcroft | Dr R. M. Mortier | 2021-01-04 | Machine learning security settings for internet of things | |
| 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 | Logical Characterizations of Log-Space computation |
| Paris Flood | Prof. P. Lio' | Dr A. S. Prorok | 2019-10-01 | 2023-09-30 | Machine Learning for personalized healthcare |
| Shaked Flur | Prof. P. M. Sewell | Prof. S. W. Moore | 2013-10-01 | 2018-01-04 | ARM concurrency |
| Salvator Galea | Prof. A. W. Moore | Dr Gianni Antichi | 2017-10-01 | 2021-09-30 | Traffic measurements with programmable data planes |
| Hongyun Gao | Dr R. K. Mantiuk | Dr A. C. Oztireli | 2020-10-01 | Blind image restoration via unsupervised neural networks | |
| Yan Gao | Dr N. D. Lane | 2020-10-01 | |||
| Rory Geeson | Dr S. B. Holden, Prof. P. Lio | 2019-10-01 | |||
| Dobrik Georgiev | Prof. P. Lio' | Dr T. M. Sauerwald | 2020-10-01 | Neural execution of graph algorithms | |
| Jennifer Gielis | Dr A. S. Prorok | Prof. A. W. Moore | 2021-01-04 | Coupled Navigation-Networking Techniques for Mobile Robot Systems | |
| Fazilet Gokbudak | Dr A. C. Oztireli | Dr H. Gunes | 2020-10-01 | Reconstructing 3D Digital Representations of Scenes for Extending Reality | |
| Sian Gooding | Prof. E. J. Briscoe | Prof. Paula Buttery | 2019-10-01 | 2023-09-30 | Complex word identification |
| Andreas Grammenos | Prof. C. Mascolo | Dr R. N. Watson | 2016-10-01 | 2020-09-30 | Streaming analytics over dynamic, heterogeneous high dimensional data |
| 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 | Multilingual Metaphor Detection and Interpretation | |
| Angus Hammond | Dr N. Krishnaswami, Prof. P. M. Sewell | Prof. A. M. Pitts | 2019-10-01 | 2023-09-30 | Low-level systems verification |
| Param Hanji | Dr R. K. Mantiuk | Dr A. C. Oztireli | 2019-10-01 | 2023-09-30 | Computational Photography for Realistic Rendering |
| Apinan Hasthanasombat | Prof. C. Mascolo | Dr D. Wischik | 2018-10-01 | 2022-09-30 | Continual causal learning in personal analytics |
| Kevin Heffernan | Prof. S. H. Teufel | Prof. E. J. Briscoe | 2015-10-01 | 2019-09-30 | Argumentation Patterns in Scientific Discourse |
| Daniel Hugenroth | Prof. A. R. Beresford | Prof. C. Mascolo | 2019-10-01 | 2023-09-30 | Privacy for the mobile masses |
| 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 | 2020-10-01 | |||
| Dan Andrei Iliescu | Dr R. K. Mantiuk | Dr H. Gunes | 2019-10-01 | 2023-09-30 | Machine Learning for Computational Photography |
| 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 | Dr R. M. Mortier | Prof. J. A. Crowcroft | 2020-10-01 | Self-scaling services using MirageOS unikernels | |
| Andrej Ivaskovic | Prof. A. Mycroft | Dr N. Krishnaswami | 2018-10-01 | 2022-09-30 | Graded structures in program analysis |
| Andrew Jeffery | Dr R. M. Mortier | Prof. J. A. Crowcroft | 2020-10-01 | A Decentralised Unikernel Cluster Orchestration System for Elastic Cloud Deployments | |
| Christopher Jensen | Dr R. M. Mortier | TBA | 2020-10-01 | Verified distributed systems | |
| Akshay Jindal | Dr R. K. Mantiuk | Dr D. Wischik | 2019-01-04 | 2023-01-03 | Rendering for future display technologies |
| 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 | Explainable automated fact checking |
| 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 |
| Michail Korakakis | Dr A. Vlachos | Prof. E. J. Briscoe | 2020-10-01 | 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 A. C. Rice | Dr N. Krishnaswami | 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 | Algebraic Computational Effects in Programming Languages | |
| Young Dae Kwon | Prof. C. Mascolo | Prof. A. R. Beresford | 2020-10-01 | Continual learning in mobile sensing | |
| 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 |
| 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 |
| Edgaras Liberis | Dr N. D. Lane | Dr R. D. Mullins | 2020-10-01 | Efficient deep learning in resource-constrained environment | |
| Nandor Licker | Dr T. M. Jones | Prof. A. Mycroft | 2018-10-01 | 2022-09-30 | Cross-language post-link optimisations |
| Dimitrios Los | Dr T. M. Sauerwald | Dr A. Vlachos | 2019-10-01 | 2023-09-30 | Applications of supervised machine learning algorithms to NLP |
| 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 | 2020-09-30 | Machine Learning for Automated Theorem Proving |
| Dionysios Manousakas | Prof. C. Mascolo | Dr M. Jamnik | 2016-10-01 | 2020-12-30 | Mobile user modelling: Towards intelligent privacy aware collaborative sensing |
| Mariana-Cristina Marasoiu | Prof. A. F. Blackwell | Prof. N. A. Dodgson | 2015-10-01 | 2019-09-30 | End-User Programming of Visualizations |
| Joseph March | Dr R. K. Mantiuk | Prof. A. F/ Blackwell | 2020-10-01 | Design and Implementation of a Sparsely Sampled Path Tracer | |
| Andrei Margeloiu | Prof. M. Jamnik | Prof. P. Lio | 2020-10-01 | Towards Reliable Deep Learning Systems in Medicine | |
| Ioannis Markakis | Dr J. Vicary | Prof. M. P. Fiore | 2020-10-01 | New models for type theory and its applications | |
| Urška Matjašec | Prof. M. Jamnik | Prof. P. Lio | 2020-10-01 | Making deep neural networks more transparent by explaining their decisions | |
| Alfredo Mazzinghi | Dr R. N. Watson | Prof. S. W. Moore | 2016-10-01 | 2020-09-30 | Spatial memory safety and compartmentalization in the CheriBSD kernal |
| Eric Meissner | Prof. N. D. Lawrence | Dr R. M. Mortier | 2020-01-04 | 2024-01-03 | AutoAI via Meta Modelling in Machine Learning Systems |
| Aliaksei Mikhailiuk | Dr R. K. Mantiuk | Dr H. Gunes | 2017-10-01 | 2021-09-30 | Quantifying quality of hyper-realistic images |
| Aida Miralaei | Dr T. M. Jones | Dr R. D. Mullins | 2017-10-01 | 2021-09-30 | Energy efficient in-memory approach for binary convolutional neural network |
| Russell Moore | Prof. P. J. Buttery | Dr A. C. Rice | 2016-01-04 | 2021-01-04 | Inferring knowledge-domain structure from student data |
| Yoav Moshe | Prof. A. Dawar | Prof. A. M. Pitts | 2020-10-01 | Monadic and Co-Monadic constructions of algorithms | |
| Jacob Moss | Prof. P. Lio' | Prof. M. Jamnik | 2020-10-01 | Integrative Gene-Drug Networks Inference for Drug Discovery | |
| Aamir Mustafa | Dr R. K. Mantiuk | Dr D. Wischik | 2019-10-01 | 2023-09-30 | Machine Learning for Computer Graphics |
| Kyndylan Nienhuis | Prof. P. M. Sewell | Prof. M. J. C. Gordon | 2013-10-01 | 2017-09-30 | Verifying the correctness of compartmentalisation in CHERI |
| Omer Nivron | Dr D. J. Wischik | 2020-10-01 | |||
| Adam O' Conghaile | Prof. A. Dawar | Prof. G. Winskel | 2018-10-01 | 2022-09-30 | Resources and coresources: compositional methods in finite model theory and descriptive complexity |
| Helen Oliver | Prof. J. A. Crowcroft | Dr R. M. Mortier | 2016-10-01 | 2020-09-30 | Obstacles to wearable computing |
| Felix Opolka | Prof. P. Lio' | TBA | 2019-10-01 | 2023-09-30 | Attention, Conditioning and interpretability in Deep Learning |
| 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 | |||
| Tiago Pimentel Martins Da Silva | Dr R. D. Cotterell | Dr A. Vlachos | 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 |
| 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 | |||
| Xinchi Qiu | Dr N. D. Lane | Dr N. D. Lane | 2020-10-01 | On Efficient and Federated Learning Paradigms | |
| Allison Randal | Dr R. M. Mortier | Dr A. V. S. Madhavapeddy | 2018-01-04 | 2022-01-03 | Characterising Computational Density in Datacentres |
| Alexandre Raymond | Dr A. S. Prorok, Dr H. Gunes | Dr A. R. Beresford | 2018-10-01 | 2022-09-30 | Explainable path planning |
| Olesya Razuvayevskaya | Prof. S. H. Teufel | Prof. A. A. Copestake | 2015-10-01 | 2019-09-30 | Computational methods for enthymeme reconstruction |
| Alexander Rice | Dr J. Vicary | Prof. M. P. Fiore | 2020-10-01 | Logical Structures in "Homotopy.io" | |
| Diana Robinson | Prof. A. F. Blackwell | Dr David Good | 2020-01-04 | 2024-01-03 | Medical decision making with AI assistance |
| 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 |
| Vadim Safronov | Dr R. M. Mortier | Prof. J. A. Crowcroft | 2019-10-01 | 2023-09-30 | Towards a Standardized Communication Model for 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 |
| Omer Sella | Prof. A. W. Moore, Dr N. Zilberman | Prof. J. A. Crowcroft | 2017-10-01 | 2021-09-30 | Adaptive network fabrics for rackscale |
| 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 |
| Derek Sorensen | Prof. M. P. Fiore | Prof. A. Dawar | 2019-10-01 | 2023-09-30 | Higher-Dimensional Mathematical Structure in Homotopy Type 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 | 2019-09-30 | Cold Fish |
| 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 |
| 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 | |||
| Filip Svoboda | Dr N. D. Lane | Dr N. D. Lane | 2020-10-01 | 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 N. D. Lane | 2020-10-01 | Learned Components in Computer Systems | |
| 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 |
| 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 | Cubical models of higher categories | |
| Pierre Thodoroff | Prof. N. D. Lawrence | Dr Carl Henrik Ek | 2020-10-01 | Sequential Decision making in probabilistic models | |
| James Thorne | Dr A. Vlachos | Prof. A. A. Copestake | 2019-01-04 | 2021-01-03 | Interpretable Automation of Information Verification and Fact Checking |
| Nicholas Timmons | Dr A. C. Rice | Prof. A. Mycroft | 2017-10-01 | 2021-09-30 | Software-based approximate computing |
| Wen Hoi Gladys Tyen | Prof. P. J. Buttery | Dr A. Caines | 2019-10-01 | 2023-09-30 | Bootstrapping lexical resources for low resourced languages |
| 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 | Bridging Mechanistic and Data Driven Modelling | |
| Diana Vasile | Prof. A. R. Beresford | Dr A. V. S. Madhavapeddy | 2015-04-10 | 2020-04-16 | Improving the delivery of security updates in distributed systems |
| Anna Vaughan | Dr N. D. Lane | 2020-10-01 | |||
| Florence Verity | Prof. M. P. Fiore | Prof. A. M. Pitts | 2021-01-04 | Homotopy Type Theory and Higher Inductive Types | |
| Anita Vero | Prof. A. A. Copestake | Dr S. H. Teufel | 2015-10-01 | 2020-03-30 | 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 | Centralized Scheduling using Decentralized Schedulers - An Approach to Increasing Data Centre CPU Utilization |
| Ramon Viñas Torné | Prof. P. Lio' | Dr T. M. Sauerwald | 2019-10-01 | 2023-09-30 | Generating realistic Multiomic data |
| Mala Virdee | Dr C. H. Ek | 2020-10-01 | |||
| Duo Wang | Prof. P. Lio', Prof. M. Jamnik | Prof. C. Mascolo | 2016-10-01 | 2020-09-30 | Bridging Computer Science with Neuroscience towards a new understanding of reasoning |
| Mark Wassell | Prof. P. M. Sewell | Prof. A. M. Pitts | 2016-10-01 | 2020-09-30 | Tool support for semantics |
| Conrad Watt | Prof. P. M. Sewell | Prof. A. Mycroft | 2016-10-01 | 2020-09-30 | Formalising WebAssembly: the new language of the Net |
| Jennifer White | Prof. S. H. Teufel | Prof. P. J. Buttery | 2020-10-01 | Gender De-biasing Methods for NLP | |
| Kawin Worrasangasilpa | Prof. L. C. Paulson | Prof. A. Dawar | 2017-01-05 | 2021-01-04 | Formal Verification and Graph Algorithms |
| Tong Xia | Prof. C. Mascolo | Prof. P. Lio | 2020-10-01 | Exploring machine learning in epidemiological studies of digital phenotyping | |
| 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 | Real-world reasoning for large-scale argument mining |
| Shih-Chun You | Dr M. G. Kuhn | Dr S. Skorobogatov | 2018-10-01 | 2022-09-30 | Side-channel analysis of cryptographic algorithms |
| Dingcheng Yue | Dr R. K. Mantiuk | Prof. A. F. Blackwell | 2018-10-01 | 2022-09-30 | Representation for image based rendering |
| Ahmed Zaidi | Prof. P. J. Buttery | Prof. E. J. Briscoe | 2016-10-01 | 2020-09-30 | Reinforcement learning for adaptive tutoring |
| Joseph Zammit | Dr I. J. Wassell, Dr. Ashwin A Seshia (CUED) | Dr R. K. Harle | 2016-10-01 | 2020-09-30 | Real-time compressive sensing imagine systems |
| Andi Zhang | Dr D. J. Wischik | Prof. P. Lio | 2019-10-01 | 2023-09-30 | Machine learning for discrete-structured datatypes |
| Jiexin Zhang | Prof. A. R. Beresford | Dr A. C. Rice | 2017-10-01 | 2021-09-30 | Fingerprinting mobile devices: techniques and applications |
| 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 |
| Hai Zhong | Dr A. S. Prorok | Dr I. J. Wassell | 2020-10-01 | Coordination in mixed-autonomy multi-agent systems | |
| Jin Zhu | Prof. P. Lio' | Dr M. G. Kuhn | 2016-10-01 | 2020-09-30 | Deep neural networks for medical image segmentation |
| Ran Zmigrod | Dr R. D. Cotterell | Dr A. Vlachos | 2019-10-01 | 2023-09-30 | An Algorithmic Framework for Fast and Correct Dependency Parsing |