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 Robert Watson2017-10-012021-09-30Combining blockchains with trusted execution
Sam AinsworthDr T. M. JonesDr R. D. Mullins2014-10-012018-09-30Exploiting memory-level parallelism with programmable data prefetchers
Anwaar AliProf. J. A. Crowcroft,
Dr J. Singh, Prof. R. J. Anderson2017-04-172021-04-16
Hesham AlmataryDr R. N. Watson2018-04-17
Helena Andres TerreDr P. Lio'Dr T. M. Sauerwald2015-10-012019-09-30Cell decision making, integration of structural, genetic and epigenetic data
Tiago AzevedoDr P. Lio',
Prof. M. Spillantini
Dr T. Rittman2016-10-012020-09-30Machine Learning for personalised systems medicine
Khaled BaqerProf. R. J. AndersonDr A. R. Beresford2014-10-012018-09-30Resilient Mobile Payment 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. BriscoeProfessor 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 basedon 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-012018-09-30: Automatic 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-012019-09-30Design 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. Jon Crowcroft2016-10-012020-09-30Temporal models of urban human mobility
Matthew DaggittDr T. G. GriffinProfessor 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'Professor 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énesProf. P. RobinsonDr Rafal Mantiuk2016-10-012020-09-30Terrain modelling
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
Yimai FangProf. S. H. TeufelProf. A. A. Copestake2013-10-012017-12-30Generalized coreference for automatic summarization
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 Andrew Pitts2013-10-012018-03-30Reasoning about monad hierarchies
Salvator GaleaDr A. W. MooreDr Gianni Antichi2017-10-012021-09-30Software Defined Measurements for Networks
Syed Zafar Ul Hussan GilaniProf. J. A. CrowcroftDr A. W. Moore2014-10-012018-09-30Interactive analytics for large data-set analysis
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. TeufelProfessor 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,
Professor 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. MadhavapeddyProf. P. M. Sewell2016-01-042020-01-03A re-engineered approach to security protocol specification and implementation
Tamas KispeterProf. G. WinskelProf. A. Mycroft2014-10-012018-09-30A bridge between operational and denotational semantics of concurrency
Stephan KollmannDr A. R. BeresfordDr A. C. Rice2014-10-012018-09-30Privacy 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
Yang LiuDr I. J. WassellDr R. K. Harle2014-10-012018-09-30Face Recognition based on Compressive Sensing
Amandla MabonaDr S. ClarkProfessor E. J. Briscoe2015-10-012019-09-30Logic-based word and phrase embeddings
Jean MaillardDr S. ClarkDr S. H. Teufel2014-10-012018-09-30Machine Learning Methods for Natural Language Semantics
Partha MajiDr R. D. MullinsProfessor S. W. Moore2016-01-042020-01-03Model-architecture co-design of deep neural network for embedded systems
Chaitanya ManglaDr M. JamnikProf. L. Paulson2016-10-012020-09-30Machine Learning for Automated Theorem Proving
Neelakandan Manihatty-BojanDr A. W. MooreDr T. M. Jones2014-10-012018-09-30Exploring fast hybrid switching architectures for data centre networks
Dionysios ManousakasProf. C. MascoloDr M. Jamnik2016-10-012020-09-30Mobile user modelling: Towards intelligent privacy aware collaborative sensing
Mariana-Cristina MarasoiuProf. A. F. BlackwellProfessor 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-012020-09-30Coeffects
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
Alessandro MontanariProf. C. MascoloVacant2014-10-012018-09-30Behaviour intervention through mobile systems
Russell MooreDr P. J. ButteryDr A. C. Rice2016-01-042020-01-04Inferring knowledge-domain structure from student data
Ewa MuszynskaProf. A. A. CopestakeProfessor 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
Balakrishnan Nikilesh DharmarajProf. A. Hopper,
Dr R. S. Sohan
Dr A. C. Rice2014-10-012018-09-30Solving the N-by-M problem in provenance systems
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. PittsProfessor M. P. Fiore2015-10-012019-09-30Homotopy type theory
Hugo PaquetProf. G. WinskelProfessor 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. TeufelProfessor A. A. Copestake2015-10-012019-09-30Computational methods for enthymeme reconstruction
Alexander RichardsonDr R. N. WatsonProfessor 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. FioreProfessor A. W. Pitts2015-10-012019-09-30Connections between higher-dimensional category theory and the metatheory of type theory
Michael SchaarschmidtDr E. YonekiProfessor 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 Robert 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. MullinsProfessor 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
David TurnerDr I. J. WassellDr Robert Harle2013-10-012017-09-30Real Time Compressive Sensing and Classification
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 Robert Watson2017-10-012021-09-30Private Application Execution
Diana VasileDr A. R. BeresfordDr A. V. S. Madhavapeddy2015-04-102019-04-09Improving 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'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
Menglin XiaProf. E. J. BriscoeProf. A. A. Copestake2014-10-012018-09-30Readability and summarization for non-native reading comprehension assessment
Hui XiaoDr P. Lio',
Prof. Anne Ferguson-Smith, MoleBio
Prof. Anne Ferguson-Smith2014-04-172018-04-16Computational modelling of epigenetic changes and developmentally relevant metabolic signalling pathways in early development
Nanyang YeDr R. K. MantiukDr Hatice Gunes2016-10-012020-09-30Visibility metric and its application in visually lossless image compression
Guo YuProf. A. F. Blackwell,
Dr Ian Cross
2014-10-012018-09-30Empathy and entrainment in user interfaces
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
Meng ZhangProf. E. J. BriscoeProf. A. A. Copestake2014-10-012018-09-30Automatic evaluation and visualization of essays written by English as foreign language learners
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-30A Clinical Decision Support System for Cerebral Vascular Diseases