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 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,
as2330
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-30Bi-directional context search and indexing in historical text archives with complex annotation layers
Christopher BryantProf. E. J. BriscoeProfessor A. A. Copestake2015-10-012019-09-30Grammatical Error Detection and Correction Suggestion for Non-Native Writers of English
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-30Randomised load balancing on evolving graphs
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-30Detecting and correcting infelicitous phrases in non-native English writing
Ayat FekryProf. A. HopperDr I. J. Wassell2016-10-012020-09-30Provenance in 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,
as2330
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-30Secure processors for the Internet of Things
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-04Characterising 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. MooreDr N. Zilberman2017-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-30Modelling metabolic and communication dysfunctions in Parkinson's Diseases
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. Madhavapeddy,
jac22
2018-01-04Trusted 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-30C: compilers vs semantics
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 YeProf. P. RobinsonDr Hatice Gunes2016-10-012020-09-30Eye gaze estimation
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-30Automated Essay Scoring Using Deep Learning
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
Jingyun ZhangDr A. W. MooreProf. R. Penty (CUED)2014-10-012018-09-30Power efficient coding for short-range optic networks
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