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 |
|---|---|---|---|---|---|
| Mansoor Ahmed | Prof. R. J. Anderson | Dr R. N. Watson | 2017-10-01 | 2021-09-30 | Combining blockchains with trusted execution |
| 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 | Dr 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 | Dr P. Lio', Prof. M. Spillantini | Dr T. Rittman | 2016-10-01 | 2020-09-30 | Machine Learning for personalised systems medicine |
| Nikilesh Dharmaraj Balakrishnan | Prof. A. Hopper, Dr R. S. Sohan | Dr A. C. Rice | 2014-10-01 | 2018-09-30 | Solving the N-by-M problem in provenance systems |
| 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 |
| Christopher Bryant | Prof. E. J. Briscoe | Prof. A. A. Copestake | 2015-10-01 | 2019-09-30 | Type-based evaulation, detection and correction of errors made by non-native writers |
| Luana Teodora Bulat | Dr S. Clark | Prof. A. A. Copestake | 2013-10-01 | 2017-09-30 | Mapping between semantic spaces |
| 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 | Dr P. Lio' | Dr M. Jamnik | 2017-10-01 | 2021-09-30 | Machine learning methodologies in medical decision support systems |
| Kris Cao | Dr S. Clark | Prof. E. J. Briscoe | 2014-10-01 | 2019-04-09 | Automatic induction of narrative schemas |
| 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 |
| Mistral Contrastin | Dr A. C. Rice | Prof. A. Mycroft | 2016-10-01 | 2020-09-30 | Static verification of scientific programs |
| Maxwell Conway | Dr P. Lio' | Dr T. Sauerwald | 2014-10-01 | 2018-09-30 | Computational Modeling of Comorbidities |
| Paula Czarnowska | Prof. A. A. Copestake | Dr P. J. Buttery | 2017-10-01 | 2021-09-30 | Distributional Semantic Models Suited To Morphologically Rich Languages |
| Krittika D'Silva | Prof. C. Mascolo | Prof. J. A. Crowcroft | 2016-10-01 | 2020-09-30 | Temporal models of urban human mobility |
| Matthew Daggitt | Dr T. G. Griffin | Prof. M. P. Fiore | 2015-10-01 | 2019-09-30 | Convergence results for Matrix Iteration |
| 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 | Dr P. Lio' | Dr T. M. Sauerwald | 2017-10-01 | 2021-09-30 | Developing AI inspired by statistical physics |
| Botty Dimanov | Dr M. Jamnik | Dr P. Lio | 2016-10-01 | 2020-09-30 | Interpretable deep learning |
| Giovanna maria Dimitri | Dr P. Lio' | Prof. C. Mascolo | 2015-10-01 | 2019-09-30 | Development of network methodologies for brain data modelling |
| Zheng Dong | Prof. C. Mascolo | Dr P. Lio | 2017-10-01 | 2021-09-30 | Data Analysis for Government Policy Validation |
| György Dénes | Dr R. K. Mantiuk | Prof. P. Robinson | 2016-10-01 | 2020-09-30 | Terrain modelling |
| 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 |
| Guy Emerson | Prof. A. A. Copestake | Dr S. Clark | 2014-10-01 | 2018-09-30 | Functional distributional semantics |
| 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 |
| Shaked Flur | Prof. P. M. Sewell | Prof. S. W. Moore | 2013-10-01 | 2018-01-04 | ARM concurrency |
| Michael Gale | Prof. A. Mycroft, 27/09/2016 replaced Dr Anil Madhavapeddy | Prof. A. M. Pitts | 2013-10-01 | 2018-03-30 | Reasoning about monad hierarchies |
| Salvator Galea | Dr A. W. Moore | Dr Gianni Antichi | 2017-10-01 | 2021-09-30 | Software Defined Measurements for Networks |
| 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 |
| Veronica Guidetti | Dr I. J. Wassell | Dr R. K. Harle | 2016-01-04 | 2020-03-30 | Sparsity aided cognitive learning in signal classification and reconstruction |
| Mohammad Hadhrawi | Prof. A. F. Blackwell | Dr H. Gunes | 2016-10-01 | 2020-09-30 | Abstract blocks for soft and hard infrastructure |
| Kevin Heffernan | Prof. S. H. Teufel | Prof. E. J. Briscoe | 2015-10-01 | 2019-09-30 | Argumentation Patterns in Scientific Discourse |
| Heidi Howard | Prof. J. A. Crowcroft | Dr A. V. S. Madhavapeddy | 2014-10-01 | 2018-09-30 | High availabilty consensus |
| 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 |
| Joseph Isaacs | Dr T. M. Jones | Prof. A. Mycroft | 2017-10-01 | 2021-09-30 | Extracting ultra-fine-grained program parallelism |
| David Kaloper Mersinjak | Dr A. V. 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 |
| Tamas Kispeter | Prof. G. Winskel | Prof. A. Mycroft | 2014-10-01 | 2019-05-03 | A bridge between operational and denotational semantics of concurrency |
| Stephan Kollmann | Dr A. R. Beresford | Dr A. C. Rice | 2014-10-01 | 2018-12-27 | Privacy and security on mobile devices |
| Robert Kovacsics | Prof. S. W. Moore | Dr R. D. Mullins | 2016-10-01 | 2020-09-30 | Security for the Internet of Things devices |
| Alexander Kuhnle | Prof. A. A. Copestake | Dr S. Clark | 2015-10-01 | 2019-09-30 | Evaluating multi-modal deep learning with micro worlds |
| Amandla Mabona | Dr S. Clark | Prof. E. J. Briscoe | 2015-10-01 | 2019-09-30 | Logic-based word and phrase embeddings |
| Jean Maillard | Dr S. Clark | Dr S. H. Teufel | 2014-10-01 | 2018-12-13 | Machine Learning Methods for Natural Language Semantics |
| Partha Maji | Dr R. D. Mullins | Prof. S. W. Moore | 2016-01-04 | 2020-05-04 | Model-architecture co-design of deep neural network for embedded systems |
| Chaitanya Mangla | Dr M. Jamnik, 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 |
| Kuba Maruszczyk | Dr R. K. Mantiuk | Prof. A. F. Blackwell | 2017-10-01 | 2021-09-30 | Perceptually realistic rendering for novel display technologies |
| 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 | Modeling human visual perception using machine learning methods |
| Aida Miralaei | Dr T. M. Jones | Dr R. D. Mullins | 2017-10-01 | 2021-09-30 | Near-data compute for machine-learning applications |
| Russell Moore | Dr P. J. Buttery | Dr A. C. Rice | 2016-01-04 | 2020-01-04 | Inferring knowledge-domain structure from student data |
| 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 |
| Christian O'Connell | Dr M. G. Kuhn | Dr I. J. Wassell | 2014-10-01 | 2018-09-30 | Model-based assessment of compromising emanations |
| Helen Oliver | Prof. J. A. Crowcroft | Dr R. M. Mortier | 2016-10-01 | 2020-09-30 | Obstacles to wearable computing |
| Richard Orton | Prof. A. M. Pitts | Prof. M. P. Fiore | 2015-10-01 | 2019-12-20 | Homotopy type theory |
| Hugo Paquet | Prof. G. Winskel | Prof. M. P. Fiore | 2015-10-01 | 2019-09-30 | abilistic programming with strategies |
| Diana Andreea Popescu | Dr A. W. Moore | Prof. J. A. Crowcroft | 2014-04-17 | 2018-04-16 | Software Defined Measurements in Data-centers |
| Jovan Powar | Dr A. R. Beresford | Dr R. K. Harle | 2017-10-01 | 2021-09-30 | Privacy techniques for mobile computing |
| Christopher Pulte | Prof. P. M. Sewell | Prof. M. J. C. Gordon | 2014-10-01 | 2018-09-30 | Verified emulation |
| Allison Randal | Dr A. V. Madhavapeddy | Dr R. M. Mortier | 2018-01-04 | 2022-01-03 | Characterising Computational Density in Datacentres |
| Olesya Razuvayevskaya | Prof. S. H. Teufel | Prof. A. A. Copestake | 2015-10-01 | 2019-09-30 | Computational methods for enthymeme reconstruction |
| 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 |
| Emma Rocheteau | Dr 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 |
| Hayk Saribekyan | Dr T. M. Sauerwald | Dr M. Jamnik | 2017-10-01 | 2021-09-30 | Random Walks 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 |
| Omer Sella | Dr A. W. Moore, Dr N. Zilberman | Prof. J. A. Crowcroft | 2017-10-01 | 2021-09-30 | Rackscale networks |
| Ilia Shumailov | Prof. R. J. Anderson | Dr R. N. Watson | 2017-10-01 | 2021-09-30 | Authentication under pervasive surveillance |
| Simeon Spasov | Dr P. Lio', Prof. M. Spillantini (ClinMed) | Dr M. Jamnik | 2016-10-01 | 2019-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 | Mobile on-device multi modal sensing for well being applications |
| Pablo Spivakovsky-Gonzalez | Dr P. Lio' | Dr Melissa Clark (BAS) | 2015-10-01 | 2019-09-30 | Cold Fish |
| 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 |
| 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 |
| Zahra Tarkhani | Dr A. V. Madhavapeddy | Prof. J. A. Crowcroft | 2018-01-04 | 2022-01-03 | Trusted computation on untrusted Cloud |
| Nicholas Timmons | Dr A. C. Rice | Prof. A. Mycroft | 2017-10-01 | 2021-09-30 | Approximate computation for scientific computing |
| Ivo Timoteo | Dr S. B. Holden | Dr P. Lio | 2012-10-01 | 2016-09-30 | Identification of dynamic systems from time-series data |
| Danny Vagnozzi | Prof. A. Dawar | Prof. A. M. Pitts | 2017-10-01 | 2021-09-30 | Algebraic Methods in the Study of Graph Isomorphism |
| 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 |
| Petar Velickovic | Dr P. Lio' | Dr T. M. Sauerwald | 2016-01-04 | 2020-01-03 | Multi layer networks algorithms using health data |
| Anita Vero | Dr S. Clark | Dr S. H. Teufel | 2015-10-01 | 2019-09-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 |
| Duo Wang | Dr 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 |
| 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 |
| Gregory Wilsenach | Prof. A. Dawar | Prof. M. P. Fiore | 2014-10-01 | 2018-09-30 | Mathematical Logic |
| Kawin Worrasangasilpa | Prof. L. C. Paulson | Prof. A. Dawar | 2017-01-05 | 2021-01-04 | Formal Verification and Graph Algorithms |
| Hongyan Xia | Prof. S. W. Moore | Dr R. D. Mullins | 2015-10-01 | 2019-09-30 | A capability model for IoT and embedded devices |
| Nanyang Ye | Dr R. K. Mantiuk | Dr H. Gunes | 2016-10-01 | 2020-09-30 | Visibility metric and its application in visually lossless image compression |
| Ahmed Zaidi | Prof. E. J. Briscoe | TBA | 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 | 2019-09-30 | The use of Distributed Source Coding in Wireless Sensor Networks |
| 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 | Coarse-grained reconfigurable architectures for machine learning applications |
| Jin Zhu | Dr P. Lio' | Dr M. G. Kuhn | 2016-10-01 | 2020-09-30 | Deep neural networks for medical image segmentation |