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
Guy AglionbyProf. S. H. TeufelDr P. J. Buttery2018-10-012022-09-30A neural-network-based attention mechanism for text summarisation
Mansoor AhmedProf. R. J. AndersonDr R. N. Watson2017-10-012021-09-30Effective governance by and of blockchain
Sami AlabedDr E. YonekiProf. J. A. Crowcroft2019-10-012023-09-30Optimisation of Computer Systems
Nathanael AlcockProf. M. P. FioreProf. A. M. Pitts2018-10-012022-09-30Algebraic type theory: syntax and semantics
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
Edward AyersProf. M. Jamnik2016-10-012020-09-30Automated explanatory web mathematician
Tiago AzevedoProf. P. Lio',
Prof. M. Spillantini
Dr T. Rittman2016-10-012020-09-30Machine Learning for personalised systems medicine
Pietro BarbieroProf. P. Lio'Prof. M. Jamnik2020-01-042023-09-30Towards Interpretable Artificial Intelligence
Cristian BodnarProf. P. Lio'Dr M. Jamnik2019-10-012023-09-30Evolution guided learning
Erika BondaveraProf. C. MascoloTBC2019-10-012023-09-30To be agreed
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
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
Alexander CampbellProf. P. Lio'Prof. John Suckling2019-10-012021-09-30To be agreed
Catalina CangeaProf. P. Lio'Dr M. Jamnik2017-10-012021-09-30Machine learning for multimodal data
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
Yiwen ChenProf. S. H. TeufelDr E. Yoneki2019-01-042023-01-03Generation of Haiku Explanations
Nikhil ChuramaniDr H. Gunes Prof. A. F. Blackwell2018-10-012022-09-30Lifelong learning of affect in social robots
James ClarkeDr R. N. WatsonProfessor S. W. Moore2018-10-012022-09-30Optimising Code for Modern Instruction Set-based Capability Systems
Mistral ContrastinDr A. C. RiceProf. A. Mycroft2016-10-012020-09-30Static verification of scientific programs
Paula CzarnowskaProf. A. A. CopestakeDr P. J. Buttery2017-10-012021-09-30In search of meaning universals: Expolring morpheme semantics across different languages
Krittika D'SilvaProf. C. MascoloProf. J. A. Crowcroft2016-10-012020-09-30Temporal models of urban human mobility
Christopher DavisProf. P. J. ButteryProf. A. A. Copestake2017-10-012021-09-30Using multimodal models to facilitate adaptive language learning
Benjamin DayProf. P. Lio'Dr T. M. Sauerwald2017-10-012021-09-30Developing AI inspired by statistical physics
Christine De KockDr A. VlachosDr R. D. Cotterell2019-10-012023-09-30Automated moderation of toxic comments in online news platforms
Jacob DeasyProf. P. Lio'Prof. A. F. Blackwell2018-10-012022-09-30Machine learning in emergency care
Botty DimanovProf. M. JamnikDr P. Lio2016-10-012020-09-30Interpretable deep learning
Michael DodsonProf. A. R. Beresfordrkh232018-10-012022-09-30Securing safety-critical computer systems
György DénesDr R. K. MantiukProf. P. Robinson2016-10-012020-09-30Terrain modelling
Chelsea EdmondsProf. L. C. PaulsonProf. M. Jamnik2019-10-012023-09-30The formalisation of combinatorial design theory
Mark ElliottProf. 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
Dimitrije ErdeljanDr M. G. KuhnDr I. J. Wassell2019-10-012023-09-30Electro-magnetic side channels in mobile devices
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
Andrea FerliniProf. C. MascoloDr A. R. Beresford2019-01-042023-01-03Multi-modal in-ear sensing platform to sense behavioural cues
Felipe Ferreira SantosProf. A. DawarTBC2020-01-042024-01-03Logical Characterizations of Log-Space computation
Paris FloodProf. P. Lio'Dr A. S. Prorok2019-10-012023-09-30Machine Learning for personalized healthcare
Shaked FlurProf. P. M. SewellProf. S. W. Moore2013-10-012018-01-04ARM concurrency
Salvator GaleaProf. A. W. MooreDr Gianni Antichi2017-10-012021-09-30Traffic measurements with programmable data planes
Sian GoodingProf. E. J. BriscoeProf. Paula Buttery2019-10-012023-09-30Complex word identification
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
Xuan GuoDr R. D. MullinsDr T. M. Jones2018-10-012022-09-30Efficient virtual memory and inter-core communication in heterogeneous many-core systems
Brett GutsteinDr R. N. WatsonProf. S. W. Moore2018-10-012022-09-30Improving C-language memory safety with CHERI
Angus HammondProf. P. M. SewellProf. A. M. Piits2019-10-012023-09-30Low-level systems verification
Param HanjiDr R. K. MantiukTBC2019-10-012023-09-30Computational Photography for Realistic Rendering
Apinan HasthanasombatProf. C. MascoloDr D. Wischik2018-10-012022-09-30Continual causal learning in personal analytics
Kevin HeffernanProf. S. H. TeufelProf. E. J. Briscoe2015-10-012019-09-30Argumentation Patterns in Scientific Discourse
Isak HermanProf. A. F. BlackwellDr S. B. Holden2013-10-012017-09-30Crowd-sourced bioacoustic informatics
Daniel HugenrothProf. A. R. BeresfordProf. C. Mascolo2019-10-012023-09-30Privacy for the mobile masses
Jack HughesDr A. J. HutchingsProf. A. R. Beresford2019-10-012023-09-30Cybercrime pathways on underground gaming forums
Mohibi HussainProf. J. A. Crowcroft,
Dr A. Sathiaseelan
Prof. C. Mascolo2015-10-012019-10-31Design analysis of future Internet technologies for overcoming the global digital divide
Dan Andrei IliescuDr R. K. MantiukTBC2019-10-012023-09-30Machine Learning for Computational Photography
Joseph IsaacsDr T. M. JonesProf. A. Mycroft2017-10-012021-09-30Extracting ultra-fine-grained program parallelism
Andrej IvaskovicProf. A. MycroftDr N. Krisnaswami2018-10-012022-09-30Graded structures in program analysis
Akshay JindalDr R. K. MantiukDr D. Wischik2019-01-042023-01-03Rendering for future display technologies
David Kaloper MersinjakDr A. V. S. Madhavapeddy,
Prof. P. M. Sewell
Prof. P. M. Sewell2016-01-042020-01-03A re-engineered approach to security protocol specification and implementation
Georgi KaradzhovDr A. VlachosDr R. D. Cotterell2019-10-012023-09-30Explainable automated fact checking
Dmitry KazhdanProf. M. Jamnik,
Prof. P. Lio
Prof. P. Lio2019-10-012023-09-30Learning the next generation of drug targets by modelling diseases, targets and their relationships
Ryan KortvelesyDr A. S. ProrokProf. A. R. Beresford2019-10-012023-09-30Augmented Motion Planning for Drones in Highly Dynamic Urban Environments
Robert KovacsicsProf. S. W. MooreDr R. D. Mullins2016-10-012020-09-30Security for the Internet of Things devices
Faustyna KrawiecDr A. C. RiceDr N. Krisnaswami2019-10-012023-09-30Integrating machine learning in to the IDE
Michelle LeeDr J. SinghProf. J. A. Crowcroft2019-10-012023-09-30Automating the assessment of contextual fairness trade-offs in machine learning
Qingbiao LiDr A. S. ProrokDr T. M. Sauerwald2018-10-012022-09-30Learning-based methods for path planning in heterogeous robot teams
Nandor LickerDr T. M. JonesProf. A. Mycroft2018-10-012022-09-30Cross-language post-link optimisations
Dimitrios LosDr T. M. SauerwaldDr A. Vlachos2019-10-012023-09-30Applications of supervised machine learning algorithms to NLP
Amandla MabonaDr S. ClarkProf. E. J. Briscoe2015-10-012019-12-31Logic-based word and phrase embeddings
Dhruv MakwanaDr N. KrishnaswamiProf. P. Sewell2020-04-102024-04-09Designing new low-level systems programming languages suitable for verification
Chaitanya ManglaProf. L. C. Paulson,
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
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
Eric MeissnerProf. N. D. LawrenceDr R. M. Mortier2020-01-042024-01-03AutoAI via Meta Modelling in Machine Learning Systems
Aliaksei MikhailiukDr R. K. MantiukDr H. Gunes2017-10-012021-09-30Quantifying quality of hyper-realistic images
Aida MiralaeiDr T. M. JonesDr R. D. Mullins2017-10-012021-09-30Energy efficient in-memory approach for binary convolutional neural network
Russell MooreProf. P. J. ButteryDr A. C. Rice2016-01-042021-01-04Inferring knowledge-domain structure from student data
Aamir MustafaDr R. K. MantiukDr D. Wischik2019-10-012023-09-30Machine Learning for Computer Graphics
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
Adam O' ConghaileProf. A. DawarProf. G. Winskel2018-10-012022-09-30Resources and coresources: compositional methods in finite model theory and descriptive complexity
Helen OliverProf. J. A. CrowcroftDr R. M. Mortier2016-10-012020-09-30Obstacles to wearable computing
Felix OpolkaProf. P. Lio'TBA2019-10-012023-09-30Attention, Conditioning and interpretability in Deep Learning
Indigo OrtonDr H. Gunes Prof. A. F. Blackwell2019-10-012023-09-30Unsupervised Learning for Bodily Expression Analysis and its Applications in Affective Computing
Andrei PaleyesProf. N. D. LawrenceDr R. M. Mortier2020-01-042024-01-03Frameworks for Surrogate Modelling and Emulation
Tiago Pimentel Martins Da SilvaDr R. D. CotterellDr A. Vlachos2019-10-012023-09-30Assessing Phonotactics
Jovan PowarProf. A. R. BeresfordDr R. K. Harle2017-10-012021-09-30Privacy techniques for mobile computing
Lorena QendroProf. C. MascoloDr A. R. Beresford2018-10-012022-09-30Uncertainty aware mobile sensing: Exploiting uncertainty estimations to inform sensor fusion and model selection
Allison RandalDr R. M. MortierDr A. V. S. Madhavapeddy2018-01-042022-01-03Characterising Computational Density in Datacentres
Alexandre RaymondDr A. S. Prorok,
Dr H. Gunes
Dr A. R. Beresford2018-10-012022-09-30Explainable path planning
Olesya RazuvayevskayaProf. S. H. TeufelProf. A. A. Copestake2015-10-012019-09-30Computational methods for enthymeme reconstruction
Diana RobinsonProf. A. F. BlackwellDr David Good2020-01-042024-01-03Medical decision making with AI assistance
Emma RocheteauProf. P. Lio'Dr M. Jamnik2017-10-012021-09-30Predicting outcomes in psychiatric disorders using automated reinforcement-learning analysis of electronic health records
Peter RuggProf. S. W. MooreDr R. N. Watson2018-10-012022-09-30Efficient microarchitecture for capability machines
Vadim SafronovDr R. M. MortierProf. J. A. Crowcroft2019-10-012023-09-30Towards a Standardized Communication Model for Smart Buildings
Hayk SaribekyanDr T. M. SauerwaldDr M. Jamnik2017-10-012021-09-30Information spreading 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
Paul SchererProf. P. Lio',
Prof. M. Jamnik
Dr S. B. Holden2019-01-042023-01-03Utilization of graph structured data in machine learning for oncology
Omer SellaProf. A. W. Moore,
Dr N. Zilberman
Prof. J. A. Crowcroft2017-10-012021-09-30Adaptive network fabrics for rackscale
Ilia ShumailovProf. R. J. AndersonDr R. N. Watson2017-10-012021-09-30Behavioural manipulation of robotic herds
Ben SimnerProf. P. M. SewellProf. S. W. Moore2018-10-012022-09-30ARM System semantics
Derek SorensenProf. M. P. FioreProf. A. Dawar2019-10-012023-09-30Higher-Dimensional Mathematical Structure in Homotopy Type Theory
Simeon SpasovProf. P. Lio',
Prof. M. Spillantini (ClinMed)
Dr M. Jamnik2016-10-012020-09-30Semi-supervised learning methods for data-scarce computer vision tasks
Dimitrios SpathisProf. C. MascoloDr Jason Rentfrow2017-10-012021-09-30Multi-task and multi-modal deep learning on heterogenous mobile sensing data
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
Shaun SteenkampProf. A. M. PittsProfessor M. P. Fiore2018-10-012022-09-30Quotients in type theory
Aaron StockdillProf. 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
Dmitrij SzamozvancevDr N. KrishnaswamiProf. M. P. Fiore2018-10-012022-09-30Second order abstract syntax for compuational reflection
Agnieszka SłowikDr S. B. Holden,
Prof. M. Jamnik
Dr D. Wischik2019-01-042023-01-03Machine Learning for Theorem Proving
Chi Ian TangProf. C. MascoloDr I. J. Wassell2019-10-012023-09-30Machine Learning for Activity Recognition Systems
Zahra TarkhaniDr A. V. S. MadhavapeddyProf. J. A. Crowcroft2018-01-042022-01-03Trusted computation on untrusted Cloud
James ThorneDr A. VlachosProf. A. A. Copestake2019-01-042021-01-03Interpretable Automation of Information Verification and Fact Checking
Nicholas TimmonsDr A. C. RiceProf. A. Mycroft2017-10-012021-09-30Software-based approximate computing
Wen Hoi Gladys TyenProf. P. J. ButteryDr A. Caines2019-10-012023-09-30Bootstrapping lexical resources for low resourced languages
Danny VagnozziProf. A. DawarProf. A. M. Pitts2017-10-012021-09-30Graph Isomorphism
Josef ValvodaProf. S. H. TeufelProf. P. J. Buttery2019-10-012023-09-30Robust Reasoning in the legal domain
Marno Van Der MaasProf. S. W. MooreDr R. N. Watson2017-10-012021-09-30Private Application Execution
Diana VasileProf. A. R. BeresfordDr A. V. S. Madhavapeddy2015-04-102020-04-16Improving the delivery of security updates in distributed systems
Anita VeroProf. A. A. CopestakeDr S. H. Teufel2015-10-012020-03-30Multi-modal semantics for Natural Language Processing
Smita Vijaya KumarDr A. V. S. MadhavapeddyDr E. Kalyvianaki2019-10-012023-09-30Self-Tuning Distributed Finite State Machines
Ramon Viñas TornéProf. P. Lio'Dr T. M. Sauerwald2019-10-012023-09-30Generating realistic Multiomic data
Duo WangProf. P. Lio',
Prof. 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
Kawin WorrasangasilpaProf. L. C. PaulsonProf. A. Dawar2017-01-052021-01-04Formal Verification and Graph Algorithms
Huiyuan XieProf. A. A. CopestakeDr S. H. Teufel2018-10-012022-09-30High-Quality Image Captioning Incorporating Formal Semantics
Junwei YangProf. P. Lio'Dr John Suckling2019-10-012023-09-30Deep learning for neuroscience and back
Yuxiao YeProf. S. H. TeufelProf. P. J. Buttery2019-10-012023-09-30Real-world reasoning for large-scale argument mining
Shih-Chun YouDr M. G. KuhnDr S. Skorobogatov2018-10-012022-09-30Side-channel analysis of cryptographic algorithms
Dingcheng YueDr R. K. MantiukProf. A. F. Blackwell2018-10-012022-09-30Representation for image based rendering
Ahmed ZaidiProf. P. J. ButteryProf. E. J. Briscoe2016-10-012020-09-30Reinforcement learning for adaptive tutoring
Joseph ZammitDr I. J. Wassell,
Dr. Ashwin A Seshia (CUED)
Dr R. K. Harle2016-10-012020-09-30Real-time compressive sensing imagine systems
Andi ZhangDr D. J. WischikProf. P. Lio2019-10-012023-09-30Machine learning for discrete-structured datatypes
Jiexin ZhangProf. A. R. BeresfordDr A. C. Rice2017-10-012021-09-30Privacy and security protection for mobile devices
Yiren ZhaoDr R. D. MullinsDr T. M. Jones2017-10-012021-09-30Software and hardware codesign for efficient neural networks
Fangcheng ZhongDr R. K. MantiukProf. A. F. Blackwell2018-10-012022-09-30Perceptual rendering for computational displays
Jin ZhuProf. P. Lio'Dr M. G. Kuhn2016-10-012020-09-30Deep neural networks for medical image segmentation
Ran ZmigrodDr R. D. CotterellDr A. Vlachos2019-10-012023-09-30Counter Factual Data Augmentation for Mitigating Gender Bias in Morphologically Rich Languages