Department of Computer Science and Technology

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.

second adviser startedexpected finishsubject
Mansoor AhmedProf. R. J. AndersonDr R. N. Watson2017-10-012021-09-30Combining blockchains with trusted execution
Anwaar AliProf. J. A. Crowcroft,
Dr A. Sathiaseelan
Dr J. Singh, Prof. R. J. Anderson2017-04-172021-04-16Effective governance by and of blockchain
Hesham AlmataryDr R. N. WatsonProf. R. J. Anderson2018-04-172022-04-16CHERI architecture
Helena Andres TerreDr P. Lio'Dr T. M. Sauerwald2015-10-012019-12-15Cell decision making, integration of structural, genetic and epigenetic data
Edward AyersDr M. Jamnik2016-10-012020-09-30Automated explanatory web mathematician
Tiago AzevedoDr P. Lio',
Prof. M. Spillantini
Dr T. Rittman2016-10-012020-09-30Machine Learning for personalised systems medicine
Nikilesh Dharmaraj BalakrishnanProf. A. Hopper,
Dr R. S. Sohan
Dr A. C. Rice2014-10-012018-09-30Solving the N-by-M problem in provenance systems
Daniel BruderProf. S. H. TeufelProf. E. J. Briscoe2016-10-012020-09-30Graph-based operational transformations and semantic version management for multi-hierarchical non-linear text archives
Christopher BryantProf. E. J. BriscoeProf. A. A. Copestake2015-10-012019-09-30Type-based evaulation, detection and correction of errors made by non-native writers
Luana Teodora BulatDr S. ClarkProf. A. A. Copestake2013-10-012017-09-30Mapping between semantic spaces
Marco Caballero GutierrezProf. J. A. CrowcroftDr R. M. Mortier2016-10-012020-09-30Multi-radio wireless ad-hoc routing
Leran CaiDr T. M. SauerwaldProf. A. Dawar2016-10-012020-09-30Network algorithms based on Markov Chains
Catalina CangeaDr P. Lio'Dr M. Jamnik2017-10-012021-09-30Machine learning methodologies in medical decision support systems
Kris CaoDr S. ClarkProf. E. J. Briscoe2014-10-012019-04-09Automatic induction of narrative schemas
Mario CekicDr T. G. GriffinProf. M. P. Fiore2016-10-012020-09-30Develop high-level specifications for optimisation problems
Alex ChadwickDr R. D. MullinsDr R. N. Watson2015-10-012020-08-09Design of operating systems for many-core systems
Mistral ContrastinDr A. C. RiceProf. A. Mycroft2016-10-012020-09-30Static verification of scientific programs
Maxwell ConwayDr P. Lio'Dr T. Sauerwald2014-10-012018-09-30Computational Modeling of Comorbidities
Paula CzarnowskaProf. A. A. CopestakeDr P. J. Buttery2017-10-012021-09-30Distributional Semantic Models Suited To Morphologically Rich Languages
Krittika D'SilvaProf. C. MascoloProf. J. A. Crowcroft2016-10-012020-09-30Temporal models of urban human mobility
Matthew DaggittDr T. G. GriffinProf. M. P. Fiore2015-10-012019-09-30Convergence results for Matrix Iteration
Christopher DavisDr P. J. ButteryProf. A. A. Copestake2017-10-012021-09-30Using multimodal models to facilitate adaptive language learning
Benjamin DayDr P. Lio'Dr T. M. Sauerwald2017-10-012021-09-30Developing AI inspired by statistical physics
Botty DimanovDr M. JamnikDr P. Lio2016-10-012020-09-30Interpretable deep learning
Giovanna maria DimitriDr P. Lio'Prof. C. Mascolo2015-10-012019-09-30Development of network methodologies for brain data modelling
Zheng DongProf. C. MascoloDr P. Lio2017-10-012021-09-30Data Analysis for Government Policy Validation
György DénesDr R. K. MantiukProf. P. Robinson2016-10-012020-09-30Terrain modelling
Mark ElliottDr P. J. ButteryProf. E. J. Briscoe2018-04-172022-04-16The application of measurement in the evaluation of automated assessment models
Christopher ElsbyProf. A. MycroftDr A. C. Rice2015-10-012019-09-30Idiomatic inter-language compilation
Guy EmersonProf. A. A. CopestakeDr S. Clark2014-10-012018-09-30Functional distributional semantics
Lawrence EsswoodDr R. N. WatsonProf. R. J. Anderson2015-10-012019-09-30Automated Software Exploitation and Mitigation
Youmna FaragProf. E. J. BriscoeTBA2016-10-012020-09-30Computational models of discourse
Ayat FekryProf. A. HopperDr I. J. Wassell2016-10-012020-09-30Provenance for Accelerating Big Data Analytics
Shaked FlurProf. P. M. SewellProf. S. W. Moore2013-10-012018-01-04ARM concurrency
Michael GaleProf. A. Mycroft,
27/09/2016 replaced Dr Anil Madhavapeddy
Prof. A. M. Pitts2013-10-012018-03-30Reasoning about monad hierarchies
Salvator GaleaDr A. W. MooreDr Gianni Antichi2017-10-012021-09-30Software Defined Measurements for Networks
Andreas GrammenosProf. C. MascoloDr R. N. Watson2016-10-012020-09-30Streaming analytics over dynamic, heterogeneous high dimensional data
Ran GuanDr R. K. HarleDr I. J. Wassell2015-10-012019-09-30Robust Indoor positioning
Veronica GuidettiDr I. J. WassellDr R. K. Harle2016-01-042020-03-30Sparsity aided cognitive learning in signal classification and reconstruction
Mohammad HadhrawiProf. A. F. BlackwellDr H. Gunes2016-10-012020-09-30Abstract blocks for soft and hard infrastructure
Kevin HeffernanProf. S. H. TeufelProf. E. J. Briscoe2015-10-012019-09-30Argumentation Patterns in Scientific Discourse
Heidi HowardProf. J. A. CrowcroftDr A. V. S. Madhavapeddy2014-10-012018-09-30High availabilty consensus
Mohibi HussainProf. J. A. Crowcroft,
Dr A. Sathiaseelan
Prof. C. Mascolo2015-10-012019-09-30Design analysis of future Internet technologies for overcoming the global digital divide
Joseph IsaacsDr T. M. JonesProf. A. Mycroft2017-10-012021-09-30Extracting ultra-fine-grained program parallelism
David Kaloper MersinjakDr A. V. Madhavapeddy,
Prof. P. M. Sewell
Prof. P. M. Sewell2016-01-042020-01-03A re-engineered approach to security protocol specification and implementation
Tamas KispeterProf. G. WinskelProf. A. Mycroft2014-10-012019-05-03A bridge between operational and denotational semantics of concurrency
Stephan KollmannDr A. R. BeresfordDr A. C. Rice2014-10-012018-12-27Privacy and security on mobile devices
Robert KovacsicsProf. S. W. MooreDr R. D. Mullins2016-10-012020-09-30Security for the Internet of Things devices
Alexander KuhnleProf. A. A. CopestakeDr S. Clark2015-10-012019-09-30Evaluating multi-modal deep learning with micro worlds
Amandla MabonaDr S. ClarkProf. E. J. Briscoe2015-10-012019-09-30Logic-based word and phrase embeddings
Jean MaillardDr S. ClarkDr S. H. Teufel2014-10-012018-12-13Machine Learning Methods for Natural Language Semantics
Partha MajiDr R. D. MullinsProf. S. W. Moore2016-01-042020-05-04Model-architecture co-design of deep neural network for embedded systems
Chaitanya ManglaDr M. Jamnik,
Dr S. B. Holden
Prof. L. Paulson2016-10-012020-09-30Machine Learning for Automated Theorem Proving
Dionysios ManousakasProf. C. MascoloDr M. Jamnik2016-10-012020-12-30Mobile user modelling: Towards intelligent privacy aware collaborative sensing
Mariana-Cristina MarasoiuProf. A. F. BlackwellProf. N. A. Dodgson2015-10-012019-09-30End-User Programming of Visualizations
Kuba MaruszczykDr R. K. MantiukProf. A. F. Blackwell2017-10-012021-09-30Perceptually realistic rendering for novel display technologies
Alfredo MazzinghiDr R. N. WatsonProf. S. W. Moore2016-10-012020-09-30Spatial memory safety and compartmentalization in the CheriBSD kernal
Dylan McDermottProf. A. MycroftProf. A. M. Pitts2016-10-012021-01-04Coeffects
Aliaksei MikhailiukDr R. K. MantiukDr H. Gunes2017-10-012021-09-30Modeling human visual perception using machine learning methods
Aida MiralaeiDr T. M. JonesDr R. D. Mullins2017-10-012021-09-30Near-data compute for machine-learning applications
Russell MooreDr P. J. ButteryDr A. C. Rice2016-01-042020-01-04Inferring knowledge-domain structure from student data
Ewa MuszynskaProf. A. A. CopestakeProf. E. J. Briscoe2015-10-012019-09-30Sentence chunking
Kyndylan NienhuisProf. P. M. SewellProf. M. J. C. Gordon2013-10-012017-09-30Verifying the correctness of compartmentalisation in CHERI
Christian O'ConnellDr M. G. KuhnDr I. J. Wassell2014-10-012018-09-30Model-based assessment of compromising emanations
Helen OliverProf. J. A. CrowcroftDr R. M. Mortier2016-10-012020-09-30Obstacles to wearable computing
Richard OrtonProf. A. M. PittsProf. M. P. Fiore2015-10-012019-12-20Homotopy type theory
Hugo PaquetProf. G. WinskelProf. M. P. Fiore2015-10-012019-09-30abilistic programming with strategies
Diana Andreea PopescuDr A. W. MooreProf. J. A. Crowcroft2014-04-172018-04-16Software Defined Measurements in Data-centers
Jovan PowarDr A. R. BeresfordDr R. K. Harle2017-10-012021-09-30Privacy techniques for mobile computing
Christopher PulteProf. P. M. SewellProf. M. J. C. Gordon2014-10-012018-09-30Verified emulation
Allison RandalDr A. V. MadhavapeddyDr R. M. Mortier2018-01-042022-01-03Characterising Computational Density in Datacentres
Olesya RazuvayevskayaProf. S. H. TeufelProf. A. A. Copestake2015-10-012019-09-30Computational methods for enthymeme reconstruction
Alexander RichardsonDr R. N. WatsonProf. S. W. Moore2015-10-012019-09-30The implications of capability-system design for persistent memory technologies
Emma RocheteauDr P. Lio'Dr M. Jamnik2017-10-012021-09-30Predicting outcomes in psychiatric disorders using automated reinforcement-learning analysis of electronic health records
Hayk SaribekyanDr T. M. SauerwaldDr M. Jamnik2017-10-012021-09-30Random Walks in Distributed Computing
Philip SavilleProf. M. P. FioreProf. A. M. Pitts2015-10-012019-09-30Connections between higher-dimensional category theory and the metatheory of type theory
Michael SchaarschmidtDr E. YonekiProf.J. A. Crowcroft2015-10-012019-09-30Deep reinforcement learning in cloud data management
Omer SellaDr A. W. Moore,
Dr N. Zilberman
Prof. J. A. Crowcroft2017-10-012021-09-30Rackscale networks
Ilia ShumailovProf. R. J. AndersonDr R. N. Watson2017-10-012021-09-30Authentication under pervasive surveillance
Simeon SpasovDr P. Lio',
Prof. M. Spillantini (ClinMed)
Dr M. Jamnik2016-10-012019-09-30Semi-supervised learning methods for data-scarce computer vision tasks
Dimitrios SpathisProf. C. MascoloDr Jason Rentfrow2017-10-012021-09-30Mobile on-device multi modal sensing for well being applications
Pablo Spivakovsky-GonzalezDr P. Lio'Dr Melissa Clark (BAS)2015-10-012019-09-30Cold Fish
Roy SplietDr R. D. MullinsProf. S. W. Moore2015-10-012019-09-30Parallel accelerators for hard real-time systems
Yiannos StathopoulosProf. S. H. TeufelDr S. Clark2013-10-012017-12-30Retrieval of mathematical concepts via deep indexing
Aaron StockdillDr M. JamnikDr S. B. Holden2017-10-012021-09-30Automating representation change across domains for reasoning
Domagoj StolfaDr R. N. WatsonDr A. R. Beresford2017-10-012021-09-30Developing new tracing methodologies in virtualized environments
Peng SunDr T. M. JonesProf. A. Mycroft2015-10-012019-09-30Enhancing Automatic Parallelisation Through Dynamic Adaptation
Zahra TarkhaniDr A. V. MadhavapeddyProf. J. A. Crowcroft2018-01-042022-01-03Trusted computation on untrusted Cloud
Nicholas TimmonsDr A. C. RiceProf. A. Mycroft2017-10-012021-09-30Approximate computation for scientific computing
Ivo TimoteoDr S. B. HoldenDr P. Lio2012-10-012016-09-30Identification of dynamic systems from time-series data
Danny VagnozziProf. A. DawarProf. A. M. Pitts2017-10-012021-09-30Algebraic Methods in the Study of Graph Isomorphism
Marno Van Der MaasProf. S. W. MooreDr R. N. Watson2017-10-012021-09-30Private Application Execution
Diana VasileDr A. R. BeresfordDr A. V. S. Madhavapeddy2015-04-102020-04-16Improving the delivery of security updates in distributed systems
Petar VelickovicDr P. Lio'Dr T. M. Sauerwald2016-01-042020-01-03Multi layer networks algorithms using health data
Anita VeroDr S. ClarkDr S. H. Teufel2015-10-012019-09-30Multi-modal semantics for Natural Language Processing
Alexander Michael VetterlProf. R. J. AndersonDr A. R. Beresford2016-10-012020-09-30A virtual honeypot for the Internet of Things
Duo WangDr P. Lio',
Dr M. Jamnik
Prof. C. Mascolo2016-10-012020-09-30Bridging Computer Science with Neuroscience towards a new understanding of reasoning
Mark WassellProf. P. M. SewellProf. A. M. Pitts2016-10-012020-09-30Tool support for semantics
Conrad WattProf. P. M. SewellProf. A. Mycroft2016-10-012020-09-30Formalising WebAssembly: the new language of the Net
Gregory WilsenachProf. A. DawarProf. M. P. Fiore2014-10-012018-09-30Mathematical Logic
Kawin WorrasangasilpaProf. L. C. PaulsonProf. A. Dawar2017-01-052021-01-04Formal Verification and Graph Algorithms
Hongyan XiaProf. S. W. MooreDr R. D. Mullins2015-10-012019-09-30A capability model for IoT and embedded devices
Nanyang YeDr R. K. MantiukDr H. Gunes2016-10-012020-09-30Visibility metric and its application in visually lossless image compression
Ahmed ZaidiProf. E. J. BriscoeTBA2016-10-012020-09-30Reinforcement learning for adaptive tutoring
Joseph ZammitDr I. J. Wassell,
Dr. Ashwin A Seshia (CUED)
Dr R. K. Harle2016-10-012019-09-30The use of Distributed Source Coding in Wireless Sensor Networks
Jiexin ZhangDr A. R. BeresfordDr A. C. Rice2017-10-012021-09-30Privacy and security protection for mobile devices
Jianxin ZhaoProf. J. A. CrowcroftDr R. M. Mortier2015-10-012019-09-30Personal data: Privacy enhancing databox
Yiren ZhaoDr R. D. MullinsDr T. M. Jones2017-10-012021-09-30Coarse-grained reconfigurable architectures for machine learning applications
Jin ZhuDr P. Lio'Dr M. G. Kuhn2016-10-012020-09-30Deep neural networks for medical image segmentation