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.

studentsupervisor
(co-supervisor)
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