skip to primary navigationskip to content

Department of Computer Science and Technology

List of PhD students

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
Hugo AaronsonDr T. Gurjv5082023-10-012025-09-30Quantum Algorithms and Proofs with Advantage over Learning
Nida AbbasiProf. H. GunesProf. A. F. Blackwell2020-10-012025-03-30Developing a framework for age-appropriate mental and cognitive wellbeing screening for children - a multimodal robotised approach
Salomey AddoDr S. E. SentanceProf. A. R. Beresford2023-01-042027-01-03Investigating pedagogical approaches to teaching the concepts and skills of AI, machine learning and data science
Daattavya AggarwalDr C. MishraProf. P. Lio'2023-10-012027-09-30Quantum Computation & Machine Learning for String Geometry
Sami AlabedDr E. YonekiProf. J. A. Crowcroft2019-10-012023-09-30Intelligent distributed stream processors
Preslav AleksandrovProf. N. D. LaneTBC2024-01-052028-01-04Hardware-aware Network Architecture Search for ML Training Workloads
Anwaar AliProf. J. A. Crowcroft,
Dr A. Sathiaseelan
Dr J. Singh, Prof. R. J. Anderson2017-04-172021-07-31Effective governance by and of blockchain
Riccardo Maria AliProf. J. VicaryProf. P. Lio2024-10-012028-09-30Categorical structures in machine learning
Rami AlyProf. A. VlachosProf. E. J. Briscoe2020-10-012025-09-30Claim Verification Over Unstructured and Structured Information
Mahwish ArifProf. T. M. Jones2020-10-012025-03-31A full-coverage, low-overhead and accessible software framework for binary security
Rosie BaishProf. R. N. WatsonProf. P. M. Sewell2022-10-012026-09-30Extending the C standards to increase safety
Mantas BaksysDr S. B. HoldenProf. M. Jamnik2024-10-012028-09-30Machine Learning for Automated Theorem Proving in Expressive Logics
Rini BanerjeeProf. P. M. SewellProf. N. Krishnaswami2022-10-012026-09-30Executable separation-logic specification
Ahmet Canberk BaykalProf. A. C. OztireliProf. A. F. Blackwell2023-10-012027-09-30Interfaces for visual content generation with text encoders
Jasmine BayrootiProf. A. S. ProrokProf. R. D. Mullins2022-10-012026-09-30Optimising Incentives to Balance Self-Interest and Cooperation in Multi-Agents
Stefan BehfarProf. R. M. Mortier,
Prof. J. A. Crowcroft
Prof. A.V. S. Madhavapeddy2025-01-042029-01-03Generative Modeling with DAGs for Creative Content Generation
Jacob Bennett-WoolfDr J. D. Yallop2024-10-012027-12-31Optimizing Functions via Relatively Indexed Types
Anaïs-Marie BerkesProf. S. KeshavProf. A. V. S. Madhavapeddy2023-10-012027-09-30Layout, sizing and operation of energy systems in multiple-family residential housing
David BerryProf. M. P. FioreProf. A. M. Pitts and Dr J. Vicary2021-10-012025-09-30Normalisation for Two-Dimensional Simple Type Theory
Matteo BettiniProf. A. S. ProrokProf. M. Jamnik2021-10-012025-09-30Neural diversity in multi-agent systems
Daniel BeutelProf. N. D. LaneProf. A. V. S. Madhavapeddy2022-10-012026-12-30The Design and Architecture of a Scalable Modular Federated Learning Framework
Siddharth Bhat MalaDr T. C. GrosserProf. P. M. Sewell2024-01-052027-01-04Rethinking End To End Compiler Verification
Peter Blandford-BakerProf. R. N. WatsonProf. S. W. Moore2020-10-012024-09-30Enabling High-Performance Software Compartmentalization using CHERI Co-Processes
Virginia BlessingProf. A. R. BeresfordDr A. Hutchings2021-10-012025-09-30Anonymous Communications for Mobile Devices
Justas BrazauskasProf. A. F. Blackwell,
Per Ola Kristensson
Prof. R. M. Mortier2022-10-012026-09-30Human-Centric Design of Digital Twins
Jason BrownProf. R. D. MullinsProf. A. S. Prorok2023-10-012027-09-30Reward Learning from Multiple Types of Human Feedback
David ButerezProf. P. Lio'Prof. M. Jamnik2020-10-012024-09-30
Yancheng CaiProf. R. K. MantiukDr D. J. Wischik2023-10-012027-09-30Advanced Display Evaluation: Modeling Based on Human Visual Perception Science
Joseph CameronProf. A. F. BlackwellDr P. Harrison (Music); Dr A. C. Oztereli2024-10-012028-09-30Synthesis and perception of musical timbre
Zeyu CaoProf. N. D. Lane,
Prof. R. D. Mullins
Prof. T. M. Jones2024-10-012028-09-30Rethinking Hardware and Software for the Era of Foundation Models
Gaia CareniniProf. M. JamnikDr S. B. Holden2024-04-172028-04-16Fusing Human-Oriented Reasoning Techniques and Principles with Language Models
Annabelle CarrellDr F. HuszarProf. N. D. Lawrence2021-10-012025-09-30Towards a Theory of Calibration in Deep Learning
Francesco CeccarelliDr S. B. Holden,
Prof. P. Lio'
2023-10-012026-09-30
Eric ChamounProf. A. VlachosProf. E. J. Briscoe2022-10-012026-09-30AI-assisted scientific writing
Shreya ChappidiDr J. SinghProf. A. F. Blackwell2023-10-012027-09-30Designing for fairness and inclusion in medical AI systems
Xinya ChenProf. A. C. OztireliProf. A. F. Blackwell (TBC)2025-04-17Multi Modal Models for 3D Scene Generation
Julius ChengProf. A. VlachosProf. P. J. Buttery2021-01-042025-01-31Exploring the use dynamic oracles in imitation learning
Jessica ClarkeProf. R. N. WatsonProfessor S. W. Moore2018-10-012023-09-30Optimising Code for Modern Instruction Set-based Capability Systems
Miruna CretuProf. P. Lio'2024-10-012028-09-30Incorporating constraints in generative modelling for molecular design
Kian CrossProf. R. N. WatsonProf. J. A. Crowcroft2023-10-012027-09-30Evaluating Compartmentalisation
Liangrun DaM. KleppmannProf. A. R. Beresford2025-04-17Making Peer-to-Peer Collaborative Applications Byzantine Fault Tolerant
Wei DaDr E. KalyvianakiProf. R. M. Mortier2023-10-012027-09-30 Effective Scheduling for Distributed Model Training and Serving In Modern Data Center
Oluwatomisin DadaProf. N. D. LawrenceDr C. H. Ek2022-10-012026-09-30Reinforcement Learning in Disaggregated Energy Systems
Richard Diehl MartinezProf. P. J. ButteryDr W. Sun2021-10-012025-09-30Meta-Learning Methods for Low Resource Multi-lingual Language Modeling
Andrea DomiterProf. S. KeshavProf. A. V. S. Madhavapeddy2024-10-012028-09-30AI Techniques for Coral Health Monitoring
Marco Dos SantosProf. M. JamnikProf. A. Vlachos (TBC)2024-10-012028-09-30Lemma conjecturing for theorem proving
Lukasz DudziakProf. N. D. LaneProf. T. M. Jones2024-10-012031-09-30Automated methods for designing and optimising deep learning systems under hardware constraints
Iulia DutaProf. P. Lio'Prof. C. Mascolo2021-10-012025-09-30Exploring the power of hypergraphs for graph-structured data
Ioannis EleftheriadisProf. A. DawarDr J. Vicary2021-10-012025-09-30Categorical methods in finite model theory
Mark ElliottProf. P. J. ButteryProf. E. J. Briscoe2018-04-172022-04-16The application of measurement in the evaluation of automated assessment models
Mateo Espinosa ZarlengaProf. M. JamnikDr S. B. Holden2021-10-012025-09-30Interpretable Concept-based Neural Architectures for Tabular Tasks
Aidan EvansProf. A. DawarProf. J. Vicary2023-10-012027-09-30On Algebraic Characterizations of Complexity Classes
Gregor FeierabendProf. M. P. FioreDr N. Krishnaswami (TBA)2024-10-012028-09-30Control effects
Zhengpeng FengProf. S. KeshavProf. A. V. S. Madhavapeddy2024-10-012028-09-30Multi-Task and -Modal Deep Learning for Smartphone-based DBH Estimation
Patrick FerrisProf. A. V. S. MadhavapeddyProf. S. Keshav2023-10-012027-09-30Systems for reproducible and accessible geospatial science
Dmitry FilippovDr P. MuraliDr T. Gur2025-01-042029-01-03Simulation and optimization of quantum algorithms
Arduin FindeisProf. S. KeshavProf. J. A. Crowcroft2021-10-012025-09-30Using Reinforcement Learning to Control Towards generalist building control
Michael Christian Fink AmoresProf. A. R. Beresford2023-10-012027-09-30Towards privacy of location data in location-based systems
Hanna FoersterProf. R. D. MullinsProf. R. J. Anderson; Prof. N. D. Lane2024-10-012028-09-30Security and machine learning. Specifically model extraction techniques and defenses
Kyle FogartyProf. A. C. OztireliProf. R. K. Mantiuk2022-10-012026-09-30Neural geometry processing
Tengjiao FuProf. T. M. JonesProf. R. D. Mullins2025-04-17Frontend prefetching for data-centre applications
Laurence GaleDr S. E. Sentance,
TBA
Prof. A. R. Beresford2022-10-012026-09-30Towards improving the teaching and learning of debugging for secondary school learners
Dapeng GaoProf. R. N. WatsonProf. S. W. Moore2021-10-012025-09-30Software compartmentalisation for CHERI
Hongyun GaoProf. R. K. MantiukProf. A. C. Oztireli2022-01-042026-01-03Towards Higher Quality Images via Dual Sensors
Yuan GaoDr W. SunProf. S. H. Teufel2023-01-042027-01-03Knowledge-driven tutorial dialogue system
Zhan GaoProf. A. S. ProrokDr T. M. Sauerwald2022-10-012026-09-30Environment co-optimization for multi-agent learning
Gabrielle GaudeauProf. P. J. ButteryDr A. P. Caines2023-10-012027-09-30Let’s Agree to Disagree: Beyond the Gold Standard in Analytic Automated Essay Scoring
Jad Elkhaleq GhalayiniProf. N. KrishnaswamiProf. P. M. Sewell2021-10-012025-09-30Semantics and refinement types for compiler Irs
Ryan GibbProf. A. V. S. MadhavapeddyProf. J. A. Crowcroft2022-10-012026-09-30Interspatial networking
Jennifer GielisProf. A. S. Prorokawm112021-10-012025-09-30Coupled Navigation-Networking Techniques for Mobile Robot Systems
Fazilet GokbudakProf. A. C. OztireliDr H. Gunes2020-10-012024-09-30Data-efficient Neural Appearance Manipulations
Zebulon GorielyProf. P. J. ButteryProf. S. H. Teufel2021-10-012025-09-30Transformer Language Models and Child Language Acquisition
Katherine GreenProf. A. S. Prorok,
Dr Simeon Hill (BAS)
Prof. E. Shuckburgh2021-10-012026-01-30Understanding Ecosystem Dynamics for Marine Conservation
Onkar GulatiProf. A. V. S. Madhavapeddy,
Dr Andrew Balmford [Javascript required]
Prof. A. V. S. Madhavapeddy2023-10-012027-09-30Label-efficient learning of Sustainable Development Goal indicators from geospatial representations
Siyuan GuoDr F. HuszarProf. N. D. Lawrence2021-10-012025-09-30Advances in Causal Structure Identification and Probabilistic Meta-learning
Yuxin GuoProf. T. M. JonesProf. R. D. Mullins2023-01-042027-01-03Microarchitectural support for transparent task-level parallelism
Zhilin GuoProf. A. C. Oztireli,
TBC
Prof. R. K. Mantiuk2022-10-012026-09-303D machine perception
Angus HammondProf. N. Krishnaswami,
Prof. P. M. Sewell
Prof. A. M. Pitts2019-10-012024-01-31Program logics for realistic ISAs
Dounia HammouProf. R. K. MantiukProf. H. Gunes2022-10-012026-09-30Display-adaptive video quality
Charles HarrisProf. P. Lio',
Sir T. Blundell (DAMTP)
Dr A. Floto2021-10-012025-09-30AI for structural biology, drug discovery and protein design
Guoliang HeDr E. YonekiProf. J. A. Crowcroft2021-10-012026-03-31Neural Networks Super-optimization via Reinforcement Learning
Tabitha HealyDr T. C. GrosserProf. S. W. Moore2024-01-052027-01-03Exploiting Representation for Efficient Hardware Verification
Konstantin HemkerProf. M. JamnikProf. P. Lio'2022-10-012026-09-30Improving stability, meaningfulness & faithfulness of machine learning explanations in healthcare
Ivan HoDr T. C. GrosserProf. T. M. Jones2025-01-042029-01-03High-performance Code Generation for Deep Neural Networks
Amelia HolcombProf. S. KeshavProf. J. A. Crowcroft2021-10-012025-09-30Remote sensing of tropical forest degradation and regrowth
Yulong HuangDr J. D. YallopProf. M. P. Fiore2023-01-042027-01-03Dependently-typed compilation: Theory and applications
Anna (Hilje) HudigDr J. SinghProf. A. V. S. Madhavapeddy2022-10-012026-09-30Accountability-by-Design in Digital Infrastructures
Alexandru-Andrei IacobProf. N. D. LaneDr C. H. Ek2022-10-012027-01-31Building Scalable Hierarchical Federated Learning Systems
Rishabh JainProf. A. S. Prorok,
Prof. P. Lio'
Dr C. H. Ek2023-10-012027-09-30Trustworthy Multi-Agent Systems using Robust and Explainable Graph Neural Networks
Christopher JensenProf. R. M. MortierDr Heidi Howard2020-10-012025-01-30Reconfigurable Consensus
Xiangjian JiangProf. M. JamnikProf. P. Lio'2023-10-012027-09-30Towards Generalisable, Scalable and Trustworthy Tabular Foundation Models: A Data-centric Perspective
Youhe JiangDr E. YonekiProf. T. M. Jones2024-01-052027-09-30Efficient Inference and Serving of Large Language Models in Homogeneous and Heterogeneous GPU Clusters
Zhuo Ying Jiang LiProf. R. N. WatsonProf. A. R. Beresford2023-10-012027-09-30The art of exploitation in CHERI-enabled systems and applications
Chaitanya JoshiProf. P. Lio'Prof. A. C. Oztireli2022-01-042026-01-03Graph Neural Networks for Geometric Graphs: Theory, Engineering, and Applications
Husam JubranProf. A. C. OztireliProf. A. F. Blackwell2025-04-173D object reconstruction with neural network based implicits
Jonas JürßProf. P. Lio'Prof. N. D. Lane2025-01-042029-01-03Explainable AI and neurosymbolic AI
Ilia KaisinProf. N. KrishnaswamiProf. P. M. Sewell2021-10-012025-09-30Bidirectional type inference
Alex KeizerDr T. C. GrosserProf. M. Jamnik2024-01-052027-09-30Going fast without breaking things: verified optimizations in Lean
David KhachaturovProf. R. D. Mullins,
Prof. R. J. Anderson
Prof. R. J. Anderson2022-10-012026-09-30Automated security analysis of hardware systems
Jeremy KimProf. A. R. BeresfordProf. C. Mascolo2025-04-17Security and privacy in mobile health applications
Oisin KimDr C. MishraProf. N. D. Lawrence2022-10-012026-09-30String geometry, machine learning, and computation.
Ceren KocaoğullarProf. A. R. BeresfordProf. R. N. Watson2021-10-012025-12-30Privacy-Preserving Local-First Software
Julia KomorowskaProf. M. Jamnik,
Prof. P. Lio'
Dr C. H. Ek2022-10-012026-09-30Dynamics-informed protein generative modelling
Yael KonfortiProf. M. JamnikDr C. H. Ek2024-10-012028-09-30Concept Learning for Bias Mitigation and Discovery of Unknown Population Groups
Michail KorakakisProf. A. VlachosProf. E. J. Briscoe2020-10-012024-09-30Towards Educational Machine Learning
Faustyna KrawiecProf. N. KrishnaswamiProf. A. Mycroft2019-10-012024-03-31Integrating machine learning in to the IDE
Nils LauermannProf. P. M. SewellProf. N. Krishnaswami2024-01-052028-01-04Multicore Semantics
Pietro LesciProf. A. VlachosProf. E. J. Briscoe2021-10-012025-09-30Data-centric approaches to model training in NLP
Han-Bo LiProf. N. D. LawrenceDr C. Mishra2022-10-012026-09-30Optimal Transport and Probabilistic Modelling
Ka Wing LiProf. R. N. WatsonProf. S. W. Moore2024-10-012028-09-30CHERI-Hypervisor: Secure resource utilization through hardware-software co-design
Yufeng LiProf. M. P. FioreProf. J. Vicary2023-10-012027-09-30Syntactic and Semantic Investigations in Algebraic and Homotopy Type Theory
Hanxue LiangProf. A. C. OztireliProf. R. K. Mantiuk2022-01-042026-01-033D modeling via neural implicit representations
Yilei LiangProf. J. A. CrowcroftProf. R. M. Mortier2021-10-012025-09-30Towards Intelligent Federated Learning System
Madeline LisaiusProf. S. KeshavProf. A. V. S. Madhavapeddy2022-10-012026-09-30Self-Supervised Learning Approaches in Earth Observation Leveraging Physical Knowledge about the Interaction of Electro-Magnetic Radiation with Vegetation Canopies as Applied to Agriculture
Yaru LiuProf. R. K. MantiukProf. A. C. Oztireli2023-10-012027-09-30Streaming rendered content to resource-constrained devices
Joycelyn LongdonProf. A. F. BlackwellProf. S. Keshav2021-10-012026-01-30Visualising forest sound
Alexandre LopoukhineDr T. C. GrosserProf. T. M. Jones2024-01-052027-01-03Empowering Domain Experts: Simplifying Compiler Extension for Linear Algebra and Beyond
Jem LordProf. A. Dawar,
Dr J. Sterling
Dr J. Vicary2024-10-012028-09-30An Application of Sheaves to Complexity Theory
Haoyan LuoProf. M. JamnikProf. S. B. Holden2025-04-17Concept-Based Explanations and Interventions on Large Language Models
Lucie Charlotte MagisterProf. P. Lio'Prof. M. Jamnik2021-10-012025-09-30Medicine in a Glass Box: Towards Explainability and Interpretability of Deep Neural Networks in Medicine
Jessica ManProf. A. V. S. MadhavapeddyProf. J. A. Crowcroft2023-10-012027-09-30A Trustworthy, Attestable and Reliable Decentralised Identity System (TARDIS)
Chaitanya ManglaProf. L. C. Paulson,
Dr S. B. Holden
Prof. L. Paulson2016-10-012022-06-19Machine Learning for Theorem Prover Strategies
Joseph MarchProf. R. K. MantiukProf. A. F. Blackwell2021-01-052025-01-04Design and Implementation of a Sparsely Sampled Path Tracer
Mila MarchevaDr W. SunProf. S. H. Teufel2023-01-042027-01-03Modeling Child Second Language Acquisition
Andrei MargeloiuProf. M. JamnikProf. P. Lio2020-10-012025-03-20Tabular Machine Learning on Small-size and High-Dimensional Data
William MarinoProf. N. D. LaneProf. P. Lio'2024-01-052028-01-04Aligning Generative AI with Humanity's Interests
Tina MarjanovProf. A. J. HutchingsM. Kleppmann2023-10-012027-09-30Stolen data economy
Ioannis MarkakisProf. J. VicaryProf. M. P. Fiore2020-10-012024-09-30An inductive approach to ω-categories and their computads
Alva MarkeliusProf. H. GunesProf. A. F. Blackwell2024-10-012028-09-30The Ethics of Embodying Large Language Models in Social Affective Robots for Wellbeing Interventions
Simon MathisProf. P. Lio'Dr M. Clark (BAS)2021-10-012025-09-30Using artificial intelligence to understand and tackle biological impacts of climate change
Urška MatjašecProf. M. JamnikProf. P. Lio2020-10-012025-10-25Interpretable, high-performing methodology for tabular data
Hope McGovernDr A. P. CainesProf. A. J. Hutchings2021-10-012025-09-30Computational narrative understanding
Anna MészárosDr F. HuszarDr C. Mishra2023-10-012027-09-30Compositional Generalisation in Language Models
Albert MiaoProf. A. C. OztireliProf. A. Blackwell2024-10-012028-09-30Explainable Visual AI
Vladimir Viktor MirjanićDr C. MishraProf. P.Lio; Dr C. H. Ek (TBC)2024-10-012028-09-30Mathematical Discovery using AI
Yoàv MontacuteProf. A. DawarProf. A. M. Pitts2020-10-012024-09-30From game comonads to dynamical systems: property-preserving maps as a logical unifying principle
Karl MoseProf. R. D. MullinsProf. T. M. Jones2023-10-012027-09-30Automating the Discovery of New Predictor Architectures and Predictor Targets
Jacob MossProf. P. Lio'Prof. M. Jamnik2020-10-012024-12-30Biophysical dynamical priors in machine learning
Jack NaishProf. A. S. ProrokProf. R. D. Mullins2024-10-012028-09-30Agile multi-quadrotor control for dense deployments 'in the wild'
Jiayi NieDr R. Antonova,
Prof. N. D. Lane
Prof. N. D. Lane2025-01-042029-01-03Breaking Down the Compute Graph Step by Step: A Scalable and Modular Simulation
Andrii NikolaievProf. S. H. Teufel2023-04-172024-09-30Mathematical texts
Omer NivronDr D. J. Wischik2020-10-012024-11-23Towards a universal correction of climate simulators to observations
Alexander NorcliffeProf. P. Lio',
Dr B. M. Dumitrascu
Dr C. H. Ek2021-10-012025-12-07Composite Feature Selection
Alistair O'BrienDr J. D. YallopProf. A. V. S. Madhapeddy2024-10-012028-09-30Typing OCaml in OCaml: A Constraint-Based Approach
Jack O'ConnorDr T. GurDr T. M. Sauerwald2023-10-012025-09-30Zero-knowledge proofs
Wilfred OffordProf. J. VicaryProf. N. Krishnaswami2023-10-012027-09-30New computational models of higher categories
Charlotte OutDr T. M. SauerwaldProf. M. Jamnik2022-10-012026-09-30Information Spreading on Networks
Shrankhla PandeyDr S. E. Morgan,
Dr Graham Murray, Psych
Prof. P. Lio2023-04-172027-04-16Using computational speech markers to predict relapse for individual patients with psychotic disorders
Tomas PaulikProf. N. D. Lane2023-10-012027-09-30Sensor-based Edge Computing enhanced with Federated Learning
Alexandre PauwelsProf. A. R. BeresfordDr M. Kleppmann2024-10-012024-10-10Towards interoperation of end-to-end encrypted systems
Chun-Yu PengDr M. G. KuhnDr I. J. Wassell2021-10-012025-09-30Practical single-trace attacks on post-quantum cryptographic schemes
Thibaut PéramiProf. P. M. SewellProf. N. Krishnaswami2021-10-012025-09-30System semantics
Elias PercyProf. A. DawarDr N. Krishnaswami (TBC)2024-10-012028-09-30New developments in game comonads and descriptive complexity
Carrie Anne PhilbinDr S. E. SentanceDr A. P. Caines2024-10-012031-09-30AI in Computing Education
Meghan PlumridgeProf. N. D. Lane,
[Javascript required]; [Javascript required]
2023-10-012027-09-30
Adam PullinProf. C. MascoloDr George Malliaras (CUED)2024-10-012028-09-30Earable sensing: the next frontier of on device sensing and analysis
Carlos PurvesProf. P. Lio'Prof. N. D. Lane2022-01-042025-09-30Reinforcement Learning on the Edge: Specialised Control Policies with Limited Resources
Kehai QiuDr I. J. Wassell2020-10-012024-12-30Machine-learning assisted radio access network planning: from outdoor to indoor
Xinchi QiuProf. N. D. LaneDr N. D. Lane2020-10-012025-01-18Optimization and efficient learning for Federated Learning
Nitarshan RajkumarDr F. Huszar,
Dr David Krueger (CUED)
Prof. N. D. Lawrence2021-10-012025-09-30Artificial Intelligence at Scale
Sanjiv RanchodProf. M. P. FioreProf. J. Vicary2022-10-012026-09-30Internal languages in computation, logic, and mathematics
Aditya RavuriProf. N. D. LawrenceDr C. H. Ek2021-10-012025-09-30Probabilistic interpretations of dimensionality reduction methods
Diana RobinsonProf. A. F. BlackwellDr David Good2020-01-04Probabilistic Programming for Postoperative Bleeding
Fredrik RømmingDr S. B. HoldenProf. M. Jamnik2022-10-012026-09-30Learning Abstractions for Automated Theorem Proving
Luis Saavedra Del ToroProf. A. R. BeresfordProf. C. Mascolo2021-10-012025-09-30Mobile ecosystems, application sideloading and user privacy
Suchir SalhanProf. P. J. ButteryDr A. P. Caines2024-10-012028-09-30A Compute-Efficient and Interpretable Framework for Small-Scale Language Models: Insights from Cross-Lingual Developing Grammars
Lorenzo SaniProf. N. D. LaneDr E. Kalyvianaki2022-10-012027-01-31Rethinking Federated Learning
Chiara SartiProf. J. VicaryProf. M. P. Fiore2022-10-012026-09-30Word problems in higher categories
Liam SelfDr I. J. Wassell,
Dr Tian Hong Loh
Dr R. K. Harle2021-10-012025-09-30UWB Location Awareness and its application in Collaborative Indoor Positioning
Sanaa SharmaDr P. MuraliDr T. Gur2024-10-012028-09-30 Resource Estimation of Quantum Chemistry Applications for Novel Quantum Architectures
Yihang SheProf. S. Keshav,
[Javascript required] and [Javascript required]
2023-10-012027-09-30Scalable 3D Forest Perception via Augmented Digital Twin
David SheetsDr J. D. Yallop,
Prof. J. A. Crowcroft
Prof. A. Mycroft2013-10-012023-05-31Resolution as a resource
Fangzheng (Bill) ShenProf. N. D. Lane2024-04-172028-04-16
Paul SiewertDr F. Moscoso del Prado MartinProf. S. H. Teufel2024-10-012028-09-30Computational foundations of model-theoretic linguistic theory
Zakir SinghDr E. YonekiProf. T. M. Jones2023-10-012027-09-30Equational Reasoning in Concatenative Languages
Sudarshan SreeramProf. C. MascoloProf. N. D. Lane2025-01-042029-01-03On-device Continual Learning for Proactive Health Monitoring on Hearables
Ieva StaliunaiteProf. A. VlachosDr F. Huszar2022-10-012026-09-30Causality in Language: From Linguistic Theory to Causal Inference Modeling
Kamilė StankevičiūtėDr F. HuszarProf. P. Lio'2021-10-012025-09-30Capturing structure within and beyond the dataset: from inductive biases to self-supervision
Samuel StarkProf. S. W. MooreProf. R. N. Watson2022-10-012026-09-30Heterogenous Capability Domains in the context of CPUs and GPUs
Sofija StefanovicProf. A. F. Blackwell,
Jennifer Gabrys (Sociology)
Prof. S. Keshav2022-10-012026-09-30Monitoring environmental and pollution data in local contexts
David StrohmaierProf. P. J. Butteryapc312023-01-042027-01-03Neural Models of Lexical Semantic Acquisition
Marek StrongProf. A. VlachosProf. A. S. Prorok2022-10-012026-09-30Uncertainty in imitation learning
Jake Stuchbury-WassProf. C. MascoloProf. N. D. Lane2022-10-012026-09-30Investigating wearable device sensing for cardiovascular health monitoring
Tudor SuciuDr E. F. S. Shuckburgh,
Prof. N. D. Lane
2020-10-012025-03-27AI for Extreme Weather: the future of Coastal Flooding
Si SuoProf. N. KrishnaswamiProf. P. M. Sewell2024-04-172028-04-16Denotational models of bidirectional type inference
Dmitrij SzamozvancevProf. N. Krishnaswami,
Prof. M. P. Fiore
Prof. M. P. Fiore2018-10-012023-02-28Second order abstract syntax for compuational reflection
Jan SzlangDr E. YonekiProf. T. M. Jones2025-04-17ML-enhanced query Optimiser for Data Streaming
Anna TalasProf. A. J. HutchingsProf. A. R. Beresford2023-10-012027-09-30Exploring vulnerabilities from both a human and technical perspective’
Xiaochen TanProf. C. MascoloProf. A. R. Beresford (TBC)2025-04-17Towards an Earable System for Multi-modal Health Monitoring
Justin Tan Jia TianDr C. MishraDr C. H. Ek2021-10-012025-09-30String theory and machine learning
Calin TataruProf. J. VicaryProf. A. M. Pitts2020-10-012024-09-30Cubical models of higher categories
Matthieu TéhénanProf. A. VlachosDr F. Moscoso del Prado Martin (TBC)2024-10-012028-09-30Automated fact-checking
Ruben Ticehurst-JamesProf. T. M. Jones2024-10-012028-09-30
Jonathan (Jay) TorryDr D. A. Orchard2024-01-012028-01-04Static Analysis for Climate Code
Kieron TurkProf. A. J. HutchingsProf. A. R. Beresford2021-10-012025-09-30Targeted Tactics Against Tech-Abuse: Interactions Between Technology and Domestic Abuse
Szilvia Réka UjváryDr F. HuszarDr C. Mishra2023-10-012027-09-30Studying LLM phenomena using tools from probabilistic machine learning and information theory
Emma UrquhartDr T. C. GrosserDr M. G. Kuhn2024-10-012028-09-30Verified Compilation for Fully Homomorphic Encryption
Francisco VargasProf. N. D. LawrenceProf. M. Jamnik2020-10-012024-10-31Transport, Variational Inference and Diffusions - A Unifying Perspective with Applications to Sampling and Conditional Generative Modelling
Anna VaughanProf. N. D. Lane2020-10-012025-03-31Functional representations for extreme weather prediction
Sotirios VavaroutasProf. C. MascoloProf. P. Lio'2022-10-012026-09-30Automating the machine learning pipeline for sparse and unlabelled data
Mala VirdeeDr C. H. Ek,
E. Shuckberg
Prof. N. D. Lane2020-10-012025-04-24Multi-fidelity and multi-model ensemble prediction of climate extremes
Viet Anh VuProf. A. J. HutchingsProf. A. R. Beresford2022-01-042026-01-03Online Crime and Harms Following Externalities
Chunlu WangProf. A. J. HutchingsProf. P. J. Buttery2023-10-012027-09-30Effective and explainable multilingual hate speech detection in underground hacking and extremist forums
Taiyi WangDr E. YonekiProf. J. A. Crowcroft2021-10-012025-09-30Deep reinforcement learning in database management systems
Yuecheng WangProf. S. W. MooreProf. R. D. Mullins2024-10-012028-09-30Toward efficient temporal memory safety
Jennifer WhiteProf. S. H. TeufelProf. P. J. Buttery2020-10-012025-03-12Gender De-biasing Methods for NLP
Samuel WillisDr C. H. EkProf. N. D. Lawrence (TBC)2024-10-012028-09-30Machine Learning for Engineering designs
Konrad WitaszczykProf. R. N. WatsonProf. S. W. Moore2022-10-012026-09-30Hardware-assisted compartmentalization strategies in supervisor mode code
Heedo WooProf. A. S. ProrokProf. T. M. Jones2024-10-012028-09-30Multi-quadrotor modeling and control for dense deployments 'in the wild'
Haiqi WuProf. J. VicaryProf. M. P. Fiore2022-10-012027-09-30Categorical structures in quantum theory
Haoran WuProf. R. D. MullinsProf. T. M. Jones (TBC)2024-10-012028-09-30Machine Learning-Assisted Design Space Exploration in Processor Customisation
Jichun WuProf. A. W. MooreProf. J. A. Crowcroft2023-10-012027-09-30Analysis and optimisation of low-latency RDMA systems
Tianhao WuProf. A. C. OztireliProf. A. F. Blackwell2021-10-012025-09-30Image-based 3D Understanding via Neural Implicit Representations
Yvonne WuProf. C. MascoloProf. P. Lio'2021-10-012025-09-30Weakly-Supervised Learning for Wearable Sensing
Lingyuan YeDr J. SterlingProf. J. Vicary2024-10-012028-09-30Structural Aspects of Mathematical Logic
Fei YinProf. R. K. MantiukProf. A. C. Oztireli2024-01-052028-01-033D Consistency Quality Assessment
Robin YoungProf. S. KeshavProf. A. V. S. Madhavapeddy2024-10-012028-09-30Automating forest inventory data collection through camera and mobile LIDAR
Zhangdie YuanProf. A. VlachosProf. E. J. Briscoe2021-10-012025-09-30On Fact-Checking with Knowledge Graphs
Peter ZhangProf. T. M. JonesProf. S. W. Moore2023-01-042027-01-03Parallel software reliability for legacy binaries
Yuwei ZhangProf. C. MascoloProf. N. D. Lane2023-10-012027-09-30Enabling Generalisable, Longitudinal, and Reliable Respiratory Audio-based Health Monitoring
Wanru ZhaoProf. N. D. LaneProf. R. D. Mullins2023-01-042027-01-03Data-free knowledge distillation for Personalized Federated Learning
Hantao ZhongDr R. AntonovaProf. R. K. Mantiuk2025-01-042029-01-03Integrating Multimodal Sensing and Large-scale Reasoning for Mobile Robot Manipulation
Chenliang ZhouProf. A. C. OztireliProf. R. K. Mantiuk2021-10-012025-09-30 Language Guided 3D Generative Representations
Xiaochen ZhuProf. A. VlachosDr W. Sun2023-10-012027-09-30Building Multi-party Dialogue System For Better Deliberation