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 |
|---|---|---|---|---|---|
| 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 | Optimisation of Computer Systems |
| Nathanael Alcock | Prof. M. P. Fiore | Prof. A. M. Pitts | 2018-10-01 | 2022-09-30 | Meta-languages in and for type theories |
| 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 |
| Helena Andres Terre | Prof. P. Lio' | Dr T. M. Sauerwald | 2015-10-01 | 2019-12-15 | Cell decision making, integration of structural, genetic and epigenetic data |
| Edward Ayers | Dr 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 |
| Pietro Barbiero | Prof. P. Lio' | Prof. M. Jamnik | 2019-10-01 | 2023-09-30 | Towards Interpretable Artificial Intelligence |
| Mihai Barbu | Prof. P. Lio' | Dr D. J. Wischik | 2020-04-10 | 2024-04-09 | Deep Learning for Multiscale Processes |
| Cristian Bodnar | Prof. P. Lio' | Dr M. Jamnik | 2019-10-01 | 2023-09-30 | Evolution guided learning |
| Erika Bondavera | Prof. C. Mascolo | 2019-10-01 | 2023-09-30 | ||
| 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 |
| 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 |
| Catalina Cangea | Prof. P. Lio' | Dr M. Jamnik | 2017-10-01 | 2021-09-30 | Machine learning for multimodal data |
| Mario Cekic | Dr T. G. Griffin | Prof. M. P. Fiore | 2016-10-01 | 2020-09-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 |
| Nikhil Churamani | Dr H. Gunes | Prof. A. F. Blackwell | 2018-10-01 | 2022-09-30 | Affective Mechanisms for Modelling Lifelong Human-Robot Relationships |
| James Clarke | Dr R. N. Watson | Professor S. W. Moore | 2018-10-01 | 2022-09-30 | CHERI: Privilege separation through multiprocess compartmentalisation |
| Adam Connolly | Prof. A. Dawar | Prof. G. Winskel | 2018-10-01 | 2022-09-30 | Graph Isomorphism and Constraint Satisfaction Problems |
| 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 |
| Krittika D'Silva | Prof. C. Mascolo | Prof. J. A. Crowcroft | 2016-10-01 | 2020-09-30 | Temporal models of urban human mobility |
| Christopher Davis | Dr 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 |
| 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 |
| Jacob Deasy | Prof. P. Lio' | Prof. A. F. Blackwell | 2018-10-01 | 2022-09-30 | Machine learning in emergency care |
| Botty Dimanov | Dr M. Jamnik | Dr P. Lio | 2016-10-01 | 2020-09-30 | Interpretable deep learning |
| Giovanna maria Dimitri | Prof. P. Lio' | Prof. C. Mascolo | 2015-10-01 | 2019-09-30 | Development of network methodologies for brain data modelling |
| Michael Dodson | Dr A. R. Beresford | rkh23 | 2018-10-01 | 2022-09-30 | Sensor and control-system security |
| György Dénes | Dr R. K. Mantiuk | Prof. P. Robinson | 2016-10-01 | 2020-09-30 | Terrain modelling |
| Chelsea Edmonds | Prof. L. C. Paulson | Prof. M. Jamnik | 2019-10-01 | 2023-09-30 | The formalisation of combinatorial design theory |
| Mark Elliott | Dr 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 |
| 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 | Prof. A. Hopper | Dr I. J. Wassell | 2016-10-01 | 2020-09-30 | Provenance for Accelerating Big Data Analytics |
| Andrea Ferlini | Prof. C. Mascolo | Dr A. R. Beresford | 2019-01-04 | 2023-01-03 | Mobile and wearable sensing for health diagnostics |
| 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 |
| Xiaohang Fu | Prof. P. Lio' | Prof. M. Jamnik | 2019-10-01 | 2023-09-30 | Predictive Models and Integrated Cancer Data Towards Personalised Prognosis and Treatment |
| Salvator Galea | Dr A. W. Moore | Dr Gianni Antichi | 2017-10-01 | 2021-09-30 | Traffic measurements with programmable data planes |
| Sian Gooding | Prof. E. J. Briscoe | Dr 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 |
| Ran Guan | Dr R. K. Harle | Dr I. J. Wassell | 2015-10-01 | 2019-09-30 | Robust Indoor positioning |
| Xuan Guo | Dr R. D. Mullins | Dr T. M. Jones | 2018-10-01 | 2022-09-30 | The generation of hardware accelerators from high-level program descriptions |
| Brett Gutstein | Dr R. N. Watson | swm11 | 2018-10-01 | 2022-09-30 | Effective and Efficient Protection from Malicious Peripheral Devices |
| Angus Hammond | Prof. P. M. Sewell | Prof. A. M. Piits | 2019-10-01 | 2023-09-30 | Low-level systems verification |
| Param Hanji | Dr R. K. Mantiuk | TBC | 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 | Transferring causal models into spatio-temporal data analytics |
| Kevin Heffernan | Prof. S. H. Teufel | Prof. E. J. Briscoe | 2015-10-01 | 2019-09-30 | Argumentation Patterns in Scientific Discourse |
| Stefan Hosein | Dr P. J. Buttery | Prof. E. J. Briscoe | 2019-10-01 | 2023-09-30 | Multi-task Machine Learning Applied to Natural Language Processing |
| Nick Hu | Prof. M. P. Fiore | Prof. G. Winskel | 2019-10-01 | 2023-09-30 | Applications of Category Theory to Computer Science: Categorical Semantics of Computational Languages |
| Daniel Hugenroth | Dr 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 | cybercrime pathways on underground gaming forums |
| Mohibi Hussain | Prof. J. A. Crowcroft, Dr A. Sathiaseelan | Prof. C. Mascolo | 2015-10-01 | 2019-09-30 | Design analysis of future Internet technologies for overcoming the global digital divide |
| Dan Andrei Iliescu | Dr R. K. Mantiuk | TBC | 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 | 2019-10-01 | 2023-09-30 | Self-scaling services using MirageOS unikernels |
| Andrej Ivaskovic | Prof. A. Mycroft | Dr N. Krisnaswami | 2018-10-01 | 2022-09-30 | Algebraic Coeffects |
| 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 |
| Mohammad Amin Karamlou | Prof. A. Dawar | Dr T. M. Sauerwald | 2019-10-01 | 2023-09-30 | Fine-grained Complexity |
| Dmitry Kazhdan | Prof. P. Lio' | Prof. M. Jamnik | 2019-10-01 | 2023-09-30 | Learning the next generation of drug targets by modelling diseases, targets and their relationships |
| Ryan Kortvelesy | Dr A. S. Prorok | Prof. A. R. Beresford | 2019-10-01 | 2023-09-30 | Augmented Motion Planning for Drones in Highly Dynamic Urban Environments |
| Robert Kovacsics | Prof. S. W. Moore | Dr R. D. Mullins | 2016-10-01 | 2020-09-30 | Security for the Internet of Things devices |
| Faustyna Krawiec | Dr A. C. Rice | Dr N. Krisnaswami | 2019-10-01 | 2023-09-30 | Integrating machine learning in to the IDE |
| Seng Ah 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 Resilient Robot Team Coordination |
| 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 |
| Amandla Mabona | Dr S. Clark | Prof. E. J. Briscoe | 2015-10-01 | 2019-12-31 | Logic-based word and phrase embeddings |
| 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 |
| 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 |
| Dylan McDermott | Prof. A. Mycroft | Prof. A. M. Pitts | 2016-10-01 | 2021-01-04 | Coeffects |
| 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 | Dr P. J. Buttery | Dr A. C. Rice | 2016-01-04 | 2021-01-04 | Inferring knowledge-domain structure from student data |
| Aamir Mustafa | Dr R. K. Mantiuk | Dr D. Wischik | 2019-10-01 | 2023-09-30 | Machine Learning for Computer Graphics |
| Ewa Muszynska | Prof. A. A. Copestake | Prof. E. J. Briscoe | 2015-10-01 | 2019-09-30 | Sentence chunking |
| Kyndylan Nienhuis | Prof. P. M. Sewell | Prof. M. J. C. Gordon | 2013-10-01 | 2017-09-30 | Verifying the correctness of compartmentalisation in CHERI |
| 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 | Dr H. Gunes | Prof. A. F. Blackwell | 2019-10-01 | 2023-09-30 | Vision based automatic body language interpretation for semantic context |
| Hugo Paquet | Prof. G. Winskel | Prof. M. P. Fiore | 2015-10-01 | 2019-09-30 | Probabilistic programming with strategies |
| Tiago Pimentel Martins Da Silva | Dr R. D. Cotterell | Dr A. Vlachos | 2019-10-01 | 2023-09-30 | Assessing Phonotactics |
| Jovan Powar | Dr A. R. Beresford | 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 |
| 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 |
| Elizabeth Reilly | Dr A. R. Beresford | Dr A. S. Prorok | 2019-10-01 | 2023-09-30 | Secure distributed inference and agreement |
| Alexander Richardson | Dr R. N. Watson | Prof. S. W. Moore | 2015-10-01 | 2019-09-30 | The implications of capability-system design for persistent memory technologies |
| 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 | Secure microprocessors |
| 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 |
| Philip Saville | Prof. M. P. Fiore | Prof. A. M. Pitts | 2015-10-01 | 2019-09-30 | Connections between higher-dimensional category theory and the metatheory of type theory |
| Michael Schaarschmidt | Dr E. Yoneki | Prof.J. A. Crowcroft | 2015-10-01 | 2019-09-30 | Deep reinforcement learning in cloud data management |
| Paul Scherer | Prof. P. Lio', Dr M. Jamnik | Dr S. B. Holden | 2019-01-04 | 2023-01-03 | Utilization of graph structured data in machine learning for oncology |
| Omer Sella | Dr 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 | Architectural systems semantics |
| Aaron Solomon | Prof. P. Lio' | Prof. M. Jamnik | 2019-10-01 | 2023-09-30 | Graph Convolutional and Generative Adversarial Networks for Drug Discovery |
| 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 |
| Roy Spliet | Dr R. D. Mullins | Prof. S. W. Moore | 2015-10-01 | 2019-09-30 | Parallel accelerators for hard real-time systems |
| 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 | Homotopy Type Theory |
| Aaron Stockdill | Dr 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 tracing methodologies in virtualized environments |
| Peng Sun | Dr T. M. Jones | Prof. A. Mycroft | 2015-10-01 | 2019-09-30 | Enhancing Automatic Parallelisation Through Dynamic Adaptation |
| Dmitrij Szamozvancev | Dr N. Krishnaswami | Prof. M. P. Fiore | 2018-10-01 | 2022-09-30 | Semantics of contextual modal type theory |
| Agnieszka Słowik | Dr S. B. Holden, Dr M. Jamnik | Dr D. Wischik | 2019-01-04 | 2023-01-03 | Machine Learning for Theorem Proving |
| Chi Ian Tang | Prof. C. Mascolo | Dr I. J. Wassell | 2019-10-01 | 2023-09-30 | Machine Learning for 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 |
| 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 | Dr 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 |
| Diana Vasile | Dr A. R. Beresford | Dr A. V. S. Madhavapeddy | 2015-04-10 | 2020-04-16 | Improving the delivery of security updates in distributed systems |
| Anita Vero | Prof. A. A. Copestake | Dr S. H. Teufel | 2015-10-01 | 2020-03-30 | Multi-modal semantics for Natural Language Processing |
| Alexander Michael Vetterl | Prof. R. J. Anderson | Dr A. R. Beresford | 2016-10-01 | 2020-09-30 | A virtual honeypot for the Internet of Things |
| Smita Vijaya Kumar | Dr A. V. S. Madhavapeddy | Dr E. Kalyvianaki | 2019-10-01 | 2023-09-30 | Self-Tuning Distributed Finite State Machines |
| Ramon Viñas Torné | Prof. P. Lio' | Dr T. M. Sauerwald | 2019-10-01 | 2023-09-30 | Generating realistic Multiomic data |
| Duo Wang | Prof. P. Lio', Dr M. Jamnik | Prof. C. Mascolo | 2016-10-01 | 2020-09-30 | Bridging Computer Science with Neuroscience towards a new understanding of reasoning |
| Syed Waqas Haider Shah | Prof. J. A. Crowcroft | 2019-10-01 | 2020-09-30 | ||
| 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 |
| Kawin Worrasangasilpa | Prof. L. C. Paulson | Prof. A. Dawar | 2017-01-05 | 2021-01-04 | Formal Verification and Graph Algorithms |
| Huiyuan Xie | Prof. A. A. Copestake | Dr S. H. Teufel | 2018-10-01 | 2022-09-30 | Generating High-Quality Captions for Images |
| 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 | Hyper-realistic displays |
| Ahmed Zaidi | Dr 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 | Dr A. R. Beresford | Dr A. C. Rice | 2017-10-01 | 2021-09-30 | Privacy and security protection for mobile devices |
| Jianxin Zhao | Prof. J. A. Crowcroft | Dr R. M. Mortier | 2015-10-01 | 2019-09-30 | Personal data: Privacy enhancing databox |
| 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 | Visual Perception in VR and Hyper-realistic Displays |
| 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 | Counter Factual Data Augmentation for Mitigating Gender Bias in Morphologically Rich Languages |