skip to primary navigationskip to content

Department of Computer Science and Technology

List of PhD students

List of current 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.

second adviser startedexpected finishsubject
Nida AbbasiDr H. GunesProf. A. F. Blackwell2020-10-012024-09-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
Guy AglionbyProf. S. H. TeufelDr P. J. Buttery2018-10-012022-12-31A neural-network-based attention mechanism for text summarisation
Sami AlabedDr E. YonekiProf. J. A. Crowcroft2019-10-012023-09-30Intelligent distributed stream processors
Anwaar AliProf. J. A. Crowcroft,
Dr A. Sathiaseelan
Dr J. Singh, Prof. R. J. Anderson2017-04-172021-07-31Effective governance by and of blockchain
Rami AlyProf. A. VlachosProf. E. J. Briscoe2020-10-012024-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
Jose Atondo SiuDr A. J. HutchingsProf. R. J. Anderson2020-10-012024-09-30Using NLP and ML to identify investment scam lures
Minja AxelssonDr H. GunesProf. A. F. Blackwell2020-10-012024-09-30Computational Behaviour Generation for a Robotic Well-being Coach
Rosie BaishProf. R. N. WatsonProf. P. M. Sewell2022-10-012026-09-30Extending the C standards to increase safety
Stefanos BakirtzisDr I. J. WassellDr R. K. Harle2020-10-012024-09-30Characterizing mobile service demands and optimal indoor radio access network deployment for 5G and beyond systems
Rini BanerjeeProf. P. M. SewellDr N. Krishnaswami2022-10-012026-09-30Executable separation-logic specification
Pietro BarbieroProf. P. Lio'Prof. M. Jamnik2020-10-012024-09-30Neurosymbolic Models of Biomedical Twins
Jasmine BayrootiProf. A. S. ProrokDr R. D. Mullins2022-10-012026-09-30Optimising Incentives to Balance Self-Interest and Cooperation in Multi-Agents
Samuel BellProf. N. D. LawrenceProf. Z. Kourtzi2018-10-012022-12-31
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-09-30The Design and Architecture of a Scalable Modular Federated Learning Framework
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
Jan BlumenkampProf. A. S. ProrokDr C. Oztireli2020-10-012024-09-30Learning communication for real-world multi-agent systems
Cristian BodnarProf. P. Lio'Prof. M. Jamnik2019-10-012023-09-30Geometric and Topological Deep Learning
Erika BondarevaProf. C. MascoloDr H. Gunes2019-10-012023-09-30Machine learning for automated auscultation: disease diagnostics and progression tracking through audio signals
Nicholas BoucherProf. R. J. AndersonProf. A. R. Beresford2020-10-012024-09-30The protection of democratic mechanisms
Justas BrazauskasProf. A. F. Blackwell,
Per Ola Kristensson
Prof. R. M. Mortier2022-10-012026-09-30Meaningful Interactions for Human-centred Smart Environments
Edward BrownProf. N. D. Lane2020-10-012024-09-30Deep Learning applied to Solar Imaging in Space Weather Forecasting
David ButerezProf. P. Lio'Prof. M. Jamnik2020-10-012024-09-30
Kayla-Jade ButkowProf. C. MascoloProf. A. R. Beresford2020-10-012024-09-30Multimodal Earable Sensing Platform for Stress Detection and Monitoring
Alexander CampbellProf. P. Lio'Prof. John Suckling2019-10-012021-09-30To be agreed
Annabelle CarrellDr F. HuszarProf. N. D. Lawrence2021-10-012025-09-30Understanding Generalisation of Gradient-Based Learning in Deep Neural Networks
Eric ChamounProf. A. VlachosProf. E. J. Briscoe2022-10-012026-09-30Automated Fact Checking in Healthcare
Yiwen ChenProf. S. H. TeufelDr E. Yoneki2019-01-042023-01-03Generation of Haiku Explanations
Julius ChengProf. A. VlachosProf. P. J. Buttery2021-01-042025-01-04Exploring the use dynamic oracles in imitation learning
Jiaee CheongDr H. Gunes,
Prof. P. Lio'
2020-10-012023-09-30A Causal Approach towards Fairness in Facial Affect Recognition
Nikhil ChuramaniDr H. GunesProf. A. F. Blackwell2018-10-012022-09-30Lifelong learning of affect in social robots
Jessica ClarkeProf. R. N. WatsonProfessor S. W. Moore2018-10-012023-09-30Optimising Code for Modern Instruction Set-based Capability Systems
Paula CzarnowskaProf. A. A. CopestakeDr P. J. Buttery2017-10-012022-04-11In search of meaning universals: Expolring morpheme semantics across different languages
Oluwatomisin DadaProf. N. D. LawrenceDr C. H. Ek2022-10-012026-09-30Reinforcement Learning in Disaggregated Energy Systems
Christine De KockProf. A. VlachosDr R. D. Cotterell2019-10-012023-09-30Successful factors of online conversations
Richard Diehl MartinezProf. P. J. ButteryDr W. Sun2021-10-012025-09-30Meta-Learning Methods for Low Resource Multi-lingual Language Modeling
Petr DolezalProf. S. KeshavProf. J. A. Crowcroft2020-10-012024-09-30Complementarity of renewable energy sources across supergrids
Iulia DutaProf. P. Lio'Prof. C. Mascolo2021-10-012025-09-30Temporal Consistency for Dynamic Graph Representation
Chelsea EdmondsProf. L. C. PaulsonProf. M. Jamnik2019-10-012023-09-30Formal Proof Techniques for Combinatorial Structures in Isabelle/HOL
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
Dimitrije ErdeljanDr M. G. KuhnDr I. J. Wassell2019-10-012023-09-30Device detection based on compromising emanations
Marton ErdosProf. T. M. JonesDr R. D. Mullins2020-10-012024-09-30In-core speculative multithreading
Mateo Espinosa ZarlengaProf. M. JamnikDr S. B. Holden2021-10-012025-09-30Interpretable Concept-based Neural Architectures for Tabular Tasks
Arduin FindeisProf. S. KeshavProf. J. A. Crowcroft2021-10-012025-09-30Using Reinforcement Learning to Control Towards generalist building control
Paris FloodProf. P. Lio'Dr A. S. Prorok2019-10-012023-09-30Machine Learning for personalized healthcare
Kyle FogartyDr A. C. OztireliDr R. K. Mantiuk2022-10-012026-09-30Neural geometry processing
Franz FuchsProf. S. W. MooreProf. R. N. Watson2021-10-012025-09-30Transient-Execution Attacks and Mitigations using Capability-based Memory Protection
Laurence GaleDr S. E. Sentance,
Prof. A. R. Beresford2022-10-012026-09-30Teaching approaches for programming in school that support increased inclusivity and diversity
Dapeng GaoProf. R. N. WatsonProf. S. W. Moore2021-10-012025-09-30Software compartmentalisation for CHERI
Hongyun GaoDr R. K. MantiukDr A. C. Oztireli2022-01-042026-01-03Computational Photography
Yan GaoProf. N. D. Lane2020-10-012024-09-30Decentralized Training of Acoustic Models for Speech Recognition
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
Dobrik GeorgievProf. P. Lio'Dr T. M. Sauerwald2020-10-012024-09-30Neural algorithmic reasoning for computer science and biomedicine
Jad Elkhaleq GhalayiniDr N. KrishnaswamiProf. P. M. Sewell2021-10-012025-09-30Foundations of Bidirectional Type Inference
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 GokbudakDr A. C. OztireliDr H. Gunes2020-10-012024-09-30Structured Filters for Image-based Scene Manipulations
Ivan Mauro Gomes RibeiroProf. S. W. MooreProf. R. N. Watson2021-10-012025-09-30Secure Systems-on-Chip
Sian GoodingProf. E. J. BriscoeProf. Paula Buttery2019-10-012023-09-30Text Simplification for Language Learning
Zebulon GorielyProf. P. J. ButteryProf. S. H. Teufel2021-10-012025-09-30Transformer Language Models and Child Language Acquisition
Katherine GreenDr B. M. Dumitrascu,
Dr Simeon Hill (BAS)
Prof. E. Shuckburgh2021-10-012025-09-30Understanding Ecosystem Dynamics for Marine Conservation
Siyuan GuoDr F. HuszarProf. N. D. Lawrence2021-10-012025-09-30Advances in Causal Structure Identification and Probabilistic Meta-learning
Xuan GuoDr R. D. MullinsDr T. M. Jones2018-10-012022-09-30Efficient virtual memory and inter-core communication in heterogeneous many-core systems
Yuxin GuoProf. T. M. JonesDr R. D. Mullins2022-10-012026-09-30Microarchitectural support for transparent task-level parallelism
Zhilin GuoDr A. C. Oztireli,
Dr R. K. Mantiuk2022-10-012026-09-303D machine perception
Rowan Hall MaudslayProf. S. H. TeufelProf. P. J. Buttery2020-10-012024-09-30Productive Metaphor in the Lexicon
Angus HammondDr N. Krishnaswami,
Prof. P. M. Sewell
Prof. A. M. Pitts2019-10-012023-09-30Program logics for realistic ISAs
Dounia HammouDr R. K. MantiukDr H. Gunes2022-10-012026-09-30Display-adaptive video quality
Param HanjiDr R. K. MantiukDr A. C. Oztireli2019-10-012023-09-30Computational Photography for Realistic Rendering
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-012025-09-30Neural Networks Super-optimization via Reinforcement Learning
Konstantin HemkerProf. M. JamnikProf. P. Lio'2022-10-012026-09-30Improving stability, meaningfulness & faithfulness of machine learning explanations in healthcare
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-30User Empowerment in Internet-of-Things Ecosystems: Addressing Data Harvesting and User Manipulation
Daniel HugenrothProf. A. R. BeresfordProf. C. Mascolo2019-10-012023-09-30Strong metadata-privacy for mobile devices and group communication
Jack HughesDr A. J. HutchingsProf. A. R. Beresford2019-10-012023-09-30Using machine learning and big data approaches to understand the role of gaming within cybercrime pathways on underground discussion platforms
Alexandru-Andrei IacobProf. N. D. LaneDr C. H. Ek2022-10-012026-09-30Federated Learning
Dan Andrei IliescuDr D. J. WischikDr H. Gunes2019-10-012023-09-30An environment for data interaction, with machine learning support
Joseph IsaacsProf. T. M. JonesProf. A. Mycroft2017-10-012022-07-07Extracting ultra-fine-grained program parallelism
Al Amjad Tawfiq IsstaifProf. R. M. MortierProf. J. A. Crowcroft2020-10-012024-09-30Autoscaling Applications at the Network Edge
Andrew JefferyProf. R. M. MortierProf. J. A. Crowcroft2020-10-012024-09-30Decentralised Cluster Orchestration
Christopher JensenProf. R. M. MortierDr Heidi Howard2020-10-012024-09-30Reconfigurable Consensus
Albert JiangProf. M. JamnikProf. A. S. Prorok2021-10-012025-09-30Learning Abstract Mathematical Reasoning
Akshay JindalDr R. K. MantiukDr D. Wischik2019-01-042023-01-03Rendering for future display technologies
Chaitanya JoshiProf. P. Lio'Dr A. C. Oztireli2022-01-042026-01-03Graph neural networks based Combinatorial optimisation in computational biology and medicine
Ilia KaisinDr N. KrishnaswamiProf. P. M. Sewell2021-10-012025-09-30Bidirectional type inference
Georgi KaradzhovProf. A. VlachosDr R. D. Cotterell2019-10-012023-09-30Deliberation Enhancing Bots
Dmitry KazhdanProf. M. Jamnik,
Prof. P. Lio'
Prof. N. D. Lawrence2019-10-012023-09-30Learning the next generation of drug targets by modelling diseases, targets and their relationships
David KhachaturovDr R. D. MullinsProf. R. J. Anderson2022-10-012026-09-30Automated security analysis of hardware systems
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-30Foundations of Graph Representation Learning in the context of Network and Life Sciences
Michail KorakakisProf. A. VlachosProf. E. J. Briscoe2020-10-012024-09-30Towards Educational Machine Learning
Ryan KortvelesyProf. A. S. ProrokProf. A. R. Beresford2019-10-012023-09-30Graph Attention Networks for Intelligent Coordination in Autonomous Multi-Agent Systems
Faustyna KrawiecDr N. KrishnaswamiProf. A. Mycroft2019-10-012023-09-30Integrating machine learning in to the IDE
Young Dae KwonProf. C. MascoloProf. A. R. Beresford2020-10-012024-09-30Efficient on-device systems that can sense, learn, and optimize continually in the wild
De Sheng Royson LeeProf. N. D. LaneProf. C. Mascolo2021-01-052025-01-04Open Problems in Meta-Learning
Michelle LeeDr J. SinghProf. J. A. Crowcroft2019-10-012023-09-30Automating the assessment of contextual fairness trade-offs in machine learning
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
Qingbiao LiProf. A. S. ProrokDr T. M. Sauerwald2018-10-012022-11-30Learning-based methods for path planning in robot teams
Hanxue LiangDr A. C. OztireliDr R. K. Mantiuk2022-01-042026-01-03Self-Supervised Learing for 3D Feature Representation
Yilei LiangProf. J. A. CrowcroftProf. R. M. Mortier2021-10-012025-09-30Towards Intelligent Federated Learning System
Edgaras LiberisProf. N. D. LaneDr R. D. Mullins2020-10-012024-09-30Efficient deep learning in resource-constrained environments
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
Joycelyn LongdonProf. A. F. BlackwellProf. S. Keshav2021-10-012025-09-30Visualising forest sound
Dimitrios LosDr T. M. SauerwaldDr A. Vlachos2019-10-012023-09-30Load Balancing for Online Problems
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
Dhruv MakwanaDr N. KrishnaswamiProf. P. Sewell2020-04-102024-04-09Designing new low-level systems programming languages suitable for verification
Joseph MarchDr R. K. MantiukProf. A. F. Blackwell2021-01-042025-01-04Design and Implementation of a Sparsely Sampled Path Tracer
Mila MarchevaDr W. SunProf. S. H. Teufel2023-01-042026-09-30Modeling Child Second Language Acquisition
Andrei MargeloiuProf. M. JamnikProf. P. Lio2020-10-012024-09-30Breaking the curse of dimensionality in low-data tasks
Ioannis MarkakisProf. J. VicaryProf. M. P. Fiore2020-10-012024-09-30A Computadic Approach to Multiple Categories
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-012024-09-30Interpretable, high-performing methodology for tabular data
Hope McGovernDr A. P. CainesDr A. J. Hutchings2021-10-012025-09-30Natural language processing of religious texts
Eric MeissnerProf. N. D. LawrenceDr R. M. Mortier2020-01-042024-01-03Fairness, Social Choice Theory and Machine Learning
Kayvan MemarianProf. P. M. SewellDr T. G. Griffin2011-10-012015-09-30C
Aida MiralaeiProf. T. M. JonesDr R. D. Mullins2017-10-012022-01-08Energy efficient in-memory approach for binary convolutional neural network
Yoàv MontacuteProf. A. DawarProf. A. M. Pitts2020-10-012024-09-30Coalgebras and game comonads
Steven MoradProf. A. S. Prorok2021-01-052025-01-04Graph neural memory: Applying graph neural networks to partially observable reinforcement learning
Jacob MossProf. P. Lio'Prof. M. Jamnik2020-10-012024-09-30Machine Learning Models of Genetic Regulation
Aamir MustafaDr R. K. MantiukDr D. Wischik2019-10-012023-09-30Image-to-Image Translation Using Less Data and Perceptual Loss Function
Omer NivronDr D. J. Wischik2020-10-012024-09-30Towards a universal correction of climate simulators to observations
Alexander NorcliffeProf. P. Lio',
Dr B. M. Dumitrascu
Dr C. H. Ek2021-10-012025-09-30Deep Learning and Neural ODEs for Time-Series Analysis and Forecasting in Medical Prognosis
Adam O' ConghaileProf. A. DawarProf. A. M. Pitts2018-10-012022-10-31Resources and coresources: compositional methods in finite model theory and descriptive complexity
Felix OpolkaProf. P. Lio'TBA2019-10-012023-09-30Bayesian methods for inference on static and dynamic graphs
Charlotte OutDr T. M. SauerwaldProf. M. Jamnik2022-10-012026-09-30Information Spreading on Networks
Andrei PaleyesProf. N. D. LawrenceDr R. M. Mortier2020-01-042024-01-03Frameworks for Surrogate Modelling and Emulation
Raghul ParthipanDr D. J. Wischik2020-10-012024-09-30
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. SewellDr N. Krishnaswami2021-10-012025-09-30System semantics
Tiago Pimentel Martins Da SilvaProf. S. H. Teufel,
Dr R. D. Cotterell
Dr R. Cotterell2019-10-012023-09-30Assessing Phonotactics
Rowan Poklewski-KoziellProf. J. VicaryProf. M. P. Fiore2023-01-042026-09-30Monads for interactive computation
Carlos PurvesProf. P. Lio'Prof. N. D. Lane2022-01-042025-09-30Reinforcement Learning on the Edge: Specialised Control Policies with Limited Resources
Lorena QendroProf. C. MascoloDr A. R. Beresford2018-10-012023-01-19Uncertainty aware mobile sensing: Exploiting uncertainty estimations to inform sensor fusion and model selection
Kehai QiuDr I. J. Wassell2020-10-012024-09-30Machine-learning assisted radio access network planning: from outdoor to indoor
Xinchi QiuProf. N. D. LaneDr N. D. Lane2020-10-012024-09-30Optimization and efficient learning for Federated Learning
Nitarshan RajkumarDr F. Huszar,
Dr David Krueger (CUED)
Prof. N. D. Lawrence2021-10-012025-09-30Robust Generalisation in Deep Learning
Sanjiv RanchodProf. M. P. FioreProf. J. Vicary2022-10-012026-09-30Internal languages in computation, logic, and mathematics
Allison RandalProf. R. M. MortierProf. A. V. S. Madhavapeddy2018-01-042022-01-04Characterising Computational Density in Datacentres
Aditya RavuriProf. N. D. LawrenceDr C. H. Ek2021-10-012025-09-30Probabilistic interpretations of dimensionality reduction methods
Alexander RiceProf. J. VicaryProf. M. P. Fiore2020-10-012024-09-30Strictifying composition in weak\infty-categories
Diana RobinsonProf. A. F. BlackwellDr David Good2020-01-042024-01-03From Tools to Languages: An exploration of Bayesian Clinical Decision Support using Probabilistic Programming
Fredrik RømmingDr S. B. HoldenProf. M. Jamnik2022-10-012026-09-30Machine Learning for Automated Theorem Proving
Peter RuggProf. S. W. MooreDr R. N. Watson2018-10-012022-12-31Efficient microarchitecture for capability machines
Luis Saavedra Del ToroProf. A. R. BeresfordProf. C. Mascolo2021-10-012025-09-30Mobile ecosystems, application sideloading and user privacy
Vadim SafronovProf. R. M. MortierProf. J. A. Crowcroft2019-10-012023-09-30Towards Distributed and Protocol-Independent IoT Interoperation in Smart Buildings]
Lorenzo SaniProf. N. D. LaneDr E. Kalyvianaki2022-10-012026-09-30Federated Learning
Chiara SartiProf. J. VicaryProf. M. P. Fiore2022-10-012026-09-30Word problems in higher categories
Paul SchererProf. P. Lio',
Prof. M. Jamnik
Dr S. B. Holden2019-01-042023-01-03Utilization of graph structured data in machine learning for oncology
Bianca SchorProf. A. F. Blackwell,
Dr J. Singh
Dr A. J. Hutchings2022-01-042025-01-02
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
Omer SellaProf. A. W. Moore,
Dr N. Zilberman
Prof. J. A. Crowcroft2017-10-012022-06-30Adaptive network fabrics for rackscale
David SheetsDr J. D. Yallop,
Prof. J. A. Crowcroft
Prof. A. Mycroft2013-10-012023-05-31Resolution as a resource
Agnieszka SłowikDr S. B. Holden,
Prof. M. Jamnik
Dr D. Wischik2019-01-042023-01-03Machine Learning for Theorem Proving
Zhiyuan SongDr H. GunesDr A. C. Oztireli2022-01-042026-01-03Learning Graph Representations for Facial Affect Recognition
Derek SorensenProf. A. V. S. Madhavapeddy,
Prof. S. Keshav
2019-10-012023-09-30Synthetic Stable Homotopy Theory
Ieva StaliunaiteProf. A. VlachosDr F. Huszar2022-10-012026-09-30Causality in Language: From Linguistic Theory to Causal Inference Modeling
Samuel StarkProf. S. W. MooreProf. R. N. Watson2022-10-012026-09-30Heterogenous Capability Domains in the context of CPUs and GPUs
Shaun SteenkampProf. A. M. PittsProfessor M. P. Fiore2018-10-012023-03-31Quotients in type theory
Sofija StefanovicProf. A. F. Blackwell,
Jennifer Gabrys (Sociology)
Prof. S. Keshav2022-10-012026-09-30Monitoring environmental and pollution data in local contexts
Marek StrelecProf. 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. Shuckburgh2020-10-012024-09-30AI for Extreme Weather: the future of Coastal Flooding
Filip SvobodaProf. N. D. LaneProf. P. Lio'2020-10-012024-09-30Learned Communication for Federated Neural Networks
Dmitrij SzamozvancevDr N. Krishnaswami,
Prof. M. P. Fiore
Prof. M. P. Fiore2018-10-012023-02-28Second order abstract syntax for compuational reflection
Chi Ian TangProf. C. MascoloDr R. K. Harle2019-10-012023-09-30Semi-supervised Learning for Scalable Human Activity Recognition Systems
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
Pierre ThodoroffProf. N. D. LawrenceDr Carl Henrik Ek2020-10-012024-09-30Sequential Decision making in probabilistic models
Kieron TurkDr A. J. HutchingsProf. R. J. Anderson2021-10-012025-09-30Interactions between Technology and Domestic Abuse
Wen Hoi Gladys TyenProf. P. J. ButteryDr A. Caines2019-10-012023-09-30Providing feedback to language learners with adaptive chatbots
Josef ValvodaProf. S. H. TeufelProf. P. J. Buttery2019-10-012023-09-30Robust Reasoning in the legal domain
Francisco VargasProf. N. D. LawrenceProf. M. Jamnik2020-10-012024-09-30Dynamical Theories of Brownian Motion in Machine Learning
Anna VaughanProf. N. D. Lane2020-10-012024-09-30Functional representations for extreme weather prediction
Sotirios VavaroutasProf. C. MascoloProf. P. Lio'2022-10-012026-09-30End-to-End Automation of the Machine Learning Pipeline for Unlabelled Data
Smita Vijaya KumarDr E. Kalyvianaki,
Prof. A. V. S. Madhavapeddy
To be appointed2019-10-012023-09-30Centralised Datacenter CPU Scheduling with Decentralised Schedulers
Ramon Viñas TornéProf. P. Lio'Dr T. M. Sauerwald2019-10-012023-09-30Learning the generating mechanisms of multi-omics data
Mala VirdeeDr C. H. Ek,
E. Shuckberg
Prof. N. D. Lane2020-10-012025-01-13Multi-fidelity and multi-model ensemble prediction of climate extremes
Viet Anh VuDr A. J. HutchingsProf. R. J. Anderson2022-01-042026-01-03Tracking the Impact of Disruptions and Interventions on User Behaviour and Socioeconomic Dynamics of Online Cybercrime Platforms
Taiyi WangDr E. YonekiProf. J. A. Crowcroft2021-10-012025-09-30Deep reinforcement learning in database management systems
Jennifer WhiteProf. S. H. TeufelProf. P. J. Buttery2020-10-012024-09-30Gender De-biasing Methods for NLP
Konrad WitaszczykProf. R. N. WatsonProf. S. W. Moore2022-10-012026-09-30Hardware-assisted compartmentalization strategies in supervisor mode code
Haiqi WuProf. J. VicaryProf. M. P. Fiore2022-10-012026-09-30Categorical structures in quantum theory
Tianhao WuDr 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
Tong XiaProf. C. MascoloProf. P. Lio2020-10-012024-09-30Listening to your health: Automatic and reliable respiratory disease detection through sounds
Huiyuan XieProf. A. A. CopestakeDr S. H. Teufel2018-10-012023-03-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-30A multi-document model for informal, naturally occurring arguments
Shih-Chun YouDr M. G. KuhnDr S. Skorobogatov2018-10-012022-11-15Side-channel analysis of cryptographic algorithms
Zhangdie YuanProf. A. VlachosProf. E. J. Briscoe2021-10-012025-09-30On Fact-Checking with Knowledge Graphs
Andi ZhangDr D. J. WischikProf. P. Lio2019-10-012023-09-30Machine learning for discrete-structured datatypes
Haoting ZhangDr C. H. EkProf. N. D. Lawrence2021-10-012025-09-30Active Learning and Optimisation of Drug Combinations
Peter ZhangProf. T. M. JonesProf. S. W. Moore2022-10-012026-09-30Parallel software reliability for legacy binaries
Wanru ZhaoProf. N. D. LaneDr R. D. Mullins2023-01-042027-01-03Data-free knowledge distillation for Personalized Federated Learning
Fangcheng ZhongDr R. K. MantiukProf. A. F. Blackwell2018-10-012022-09-30Perceptual rendering for computational displays
Chenliang ZhouDr A. C. OztireliDr R. K. Mantiuk2021-10-012025-09-303D machine perception
Jin ZhuProf. P. Lio'Dr M. G. Kuhn2016-10-012021-10-31Deep neural networks for medical image segmentation