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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| Shaked Flur | Prof. P. M. Sewell | Prof. S. W. Moore | 2013-10-01 | 2018-01-04 | ARM concurrency |
| Salvator Galea | Dr A. W. Moore | Dr Gianni Antichi | 2017-10-01 | 2021-09-30 | Traffic measurements with programmable data planes |
| 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 |
| 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 |
| 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 |
| 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 |
| Andrej Ivaskovic | Prof. A. Mycroft | Dr N. Amin; Dr N. Krisnaswami (WEF 1/10/19) | 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 |
| 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 |
| 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 |
| Amandla Mabona | Dr S. Clark | Prof. E. J. Briscoe | 2015-10-01 | 2019-09-30 | Logic-based word and phrase embeddings |
| 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 | 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 |
| 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 |
| Hugo Paquet | Prof. G. Winskel | Prof. M. P. Fiore | 2015-10-01 | 2019-09-30 | Probabilistic programming with strategies |
| 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 | Improving Machine Learning for Embedded and Mobile Systems |
| 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 | Equipping autonomous marine vehicles with intelligent interaction capabilities |
| 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 | 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 |
| 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 |
| Simeon Spasov | Prof. 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 | 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 |
| 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 | To be agreed | 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 |
| 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 |
| Danny Vagnozzi | Prof. A. Dawar | Prof. A. M. Pitts | 2017-10-01 | 2021-09-30 | 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 |
| 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 | 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 |
| 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 |
| 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 |
| 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 | 2019-09-30 | Real-time compressive sensing imagine systems |
| 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 |
| Xiao Zhou | Prof. C. Mascolo | 2015-10-01 | 2019-09-30 | Culture-led Urban Development in Geo-Social Network: Measurement, Analysis and Applications | |
| Jin Zhu | Prof. P. Lio' | Dr M. G. Kuhn | 2016-10-01 | 2020-09-30 | Deep neural networks for medical image segmentation |