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.

studentsupervisor
(co-supervisor)
second adviser startedexpected finishsubject
Nida AbbasiDr H. GunesProf. A. F. Blackwell2020-10-012024-09-30Personalised Patient Care using Human Robot Collaboration
Guy AglionbyProf. S. H. TeufelDr P. J. Buttery2018-10-012022-09-30A 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
Hesham AlmataryDr R. N. WatsonProf. R. J. Anderson2018-04-172022-04-16CHERI architecture
Rami AlyDr A. VlachosProf. E. J. Briscoe2020-10-012024-09-30Neural-Symbolic Reasoning for the Verification of Complex Claims
Mahwish ArifDr T. M. Jones2020-10-012024-09-30Software Frameworks for Efficient Security Mechanisms
Nathanael ArkorProf. M. P. FioreProf. A. M. Pitts2018-10-012022-09-30Algebraic type theory: syntax and semantics
Jose Atondo SiuDr A. J. HutchingsProf. R. J. Anderson2020-10-012024-09-30Understanding and detecting illicit money flows
Minja AxelssonDr H. GunesProf. A. F. Blackwell2020-10-012024-09-30Computational Behaviour Generation for a Robotic Well-being Coach
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
Stefanos BakirtzisDr I. J. WassellDr R. K. Harle2020-10-012024-09-30Physics Based Propagation Modelling and Integration with Network Protocol Design
Pietro BarbieroProf. P. Lio'Prof. M. Jamnik2020-10-012024-09-30Neurosymbolic Models of Biomedical Twins
Samuel BellProf. N. D. LawrenceProf. Z. Kourtzi2018-10-012022-09-30
David BerryProf. M. P. Fiore,
Dr J. Vicary
Prof. A. M. Pitts2021-10-01Type Theories of Groupoids
Matteo BettiniDr A. S. ProrokProf. M. Jamnik2021-10-01Environment Shaping for Multi-Agent Mobility
Peter Blandford-BakerDr R. N. WatsonProf. S. W. Moore2020-10-012024-09-30Using a Userspace CHERI Microkernel for a Shared Address-Space Process Model
Virginia BlessingProf. A. R. BeresfordDr A. J. Hutchings2021-10-01Measuring the Cost of Government Surveillance
Jan BlumenkampDr 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
Edward BrownDr 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-30Unsupervised learning for modelling single cell to organ data
Kayla-Jade ButkowProf. C. Mascolo2020-10-012024-09-30
Baris CamDr A. C. OztireliDr R. K. Mantiuk2021-10-01Improving Generalization Capability of Neural Rendering Architectures by Integrating Non-Differentiable Graphics Modules
Alexander CampbellProf. P. Lio'Prof. John Suckling2019-10-012021-09-30To be agreed
Annabelle CarrellDr F. HuszarProf. N. D. Lawrence2021-10-01Understanding Generalisation of Gradient-Based Learning in Deep Neural Networks
Alex ChadwickDr R. D. MullinsDr R. N. Watson2015-10-012021-08-09Design of operating systems for many-core systems
Yiwen ChenProf. S. H. TeufelDr E. Yoneki2019-01-042023-01-03Generation of Haiku Explanations
Julius ChengDr 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-30
Jing Heng ChiaDr A. C. OztireliProf. A. F. Blackwell2021-10-01Towards a unified approach for high-fidelity learning-based 3D geometry reconstruction
Nikhil ChuramaniDr H. GunesProf. A. F. Blackwell2018-10-012022-09-30Lifelong learning of affect in social robots
Jessica ClarkeDr R. N. WatsonProfessor S. W. Moore2018-10-012022-09-30Optimising Code for Modern Instruction Set-based Capability Systems
Mistral ContrastinProf. A. C. RiceProf. A. Mycroft2016-10-012021-03-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
Oluwatomisin DadaProf. N. D. LawrenceDr C. H. Ek2021-10-01Reinforcement Learning in Disaggregated Energy Systems
Christopher DavisProf. P. J. ButteryProf. A. A. Copestake2017-10-012022-01-04Using multimodal models to facilitate adaptive language learning
Benjamin DayProf. P. Lio'Dr T. M. Sauerwald2017-10-012021-09-30Developing AI inspired by statistical physics
Jacob DeasyProf. P. Lio'Prof. A. F. Blackwell2018-10-012022-09-30Machine learning in emergency care
Christine De KockDr A. VlachosDr R. D. Cotterell2019-10-012023-09-30Successful factors of online conversations
Richard Diehl MartinezProf. P. J. ButteryDr W. Sun2021-10-01Cognitively-Inspired Meta-Learning Algorithms for Transfer Learning
Nikola DodikDr A. C. OztireliDr R. K. Mantiuk2022-01-04Neural Representations for Differential Geometry
Michael DodsonProf. A. R. BeresfordDr R. K. Harle2018-10-012022-09-30Securing safety-critical computer systems
Petr DolezalProf. S. KeshavProf. J. A. Crowcroft2020-10-012024-09-30
Iulia DutaProf. P. Lio'Prof. C. Mascolo2021-10-01Temporal 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. DawarTBC2021-10-01Categorical 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 ErdosDr T. M. JonesDr R. D. Mullins2020-10-012024-09-30Investigating TLS in high-performance processors
Mateo Espinosa ZarlengaProf. M. JamnikDr S. B. Holden2021-10-01Learning to Explain: Concept-based Interpretability in Deep Neural Networks for Medical Diagnosis
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-03 Lower Bound Methods for Space-Restricted Complexity Classes
Arduin FindeisProf. S. KeshavProf. J. A. Crowcroft2021-10-01Using Reinforcement Learning to Control Grid-connected Energy Systems
Paris FloodProf. P. Lio'Dr A. S. Prorok2019-10-012023-09-30Machine Learning for personalized healthcare
Franz FuchsProf. S. W. MooreDr R. N. Watson2021-10-01Transient-Execution Attacks and Mitigations using Capability-based Memory Protection
Salvator GaleaProf. A. W. MooreDr Gianni Antichi2017-10-012021-09-30Traffic measurements with programmable data planes
Dapeng GaoDr R. N. WatsonProf. S. W. Moore2021-10-01Compartmentalising Software for CHERI
Hongyun GaoDr R. K. MantiukDr A. C. Oztireli2021-10-01Computational Photography
Yan GaoDr N. D. Lane2020-10-012024-09-30
Rory GeesonDr S. B. Holden,
Prof. P. Lio'
2020-10-012024-09-30
Dobrik GeorgievProf. P. Lio'Dr T. M. Sauerwald2020-10-012024-09-30Neural execution of graph algorithms
Jad Elkhaleq GhalayiniDr N. KrishnaswamiProf. P. M. Sewell2021-10-01Foundations of Bidirectional Type Inference
Jennifer GielisDr A. S. Prorokawm112021-10-01Coupled Navigation-Networking Techniques for Mobile Robot Systems
Fazilet GokbudakDr A. C. OztireliDr H. Gunes2020-10-012024-09-30Reconstructing 3D Digital Representations of Scenes for Extending Reality
Ivan Mauro Gomes RibeiroProf. S. W. MooreDr R. N. Watson2021-10-01Secure 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-01Learning representations of language learners
Katherine GreenDr B. M. Dumitrascu,
Dr Simone Hill (BAS)
TBC2021-10-01Understanding Ecosystem Dynamics for Marine Conservation
Siyuan GuoDr F. HuszarProf. N. D. Lawrence2021-10-01Causal Representation Learning with Deep Neural Networks
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
Rowan Hall MaudslayProf. S. H. TeufelProf. P. J. Buttery2020-10-012024-09-30Multilingual Metaphor Detection and Interpretation
Angus HammondDr N. Krishnaswami,
Prof. P. M. Sewell
Prof. A. M. Pitts2019-10-012023-09-30Program logics for realistic ISAs
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. Floto2022-01-04AI for structural biology, drug discovery and protein design
Apinan HasthanasombatProf. C. MascoloDr D. Wischik2018-10-012022-09-30Continual causal learning in personal analytics
Guoliang HeDr E. YonekiProf. J. A. Crowcroft2021-10-01Optimising Computer Systems using Bayesian Optimisation with Structure
Amelia HolcombProf. S. KeshavProf. J. A. Crowcroft2021-10-013. Technological Advancements for Monitoring Forest Ecosystems
Hilje Anna Ida HudigDr J. SinghProf. R. M. Mortier2021-10-01Designing responsible decentralised data processing ecosystems
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
Toshiharu IgarashiDr H. GunesDr R. K. Mantiuk2021-01-042025-01-04
Dan Andrei IliescuDr D. J. WischikDr H. Gunes2019-10-012023-09-30An environment for data interaction, with machine learning support
Joseph IsaacsDr T. M. JonesProf. A. Mycroft2017-10-012021-09-30Extracting ultra-fine-grained program parallelism
Al Amjad Tawfiq IsstaifProf. R. M. MortierProf. J. A. Crowcroft2020-10-012024-09-30Autoscaling Applications at the Network Edge
Andrej IvaskovicProf. A. MycroftDr N. Krishnaswami2018-10-012022-09-30Graded structures in program analysis
Andrew JefferyProf. R. M. MortierProf. J. A. Crowcroft2020-10-012024-09-30Decentralised Cluster Orchestration First Year Report
Christopher JensenProf. R. M. MortierDr Heidi Howard2020-10-012024-09-30Reconfigurable Consensus
Qiaochu JiangProf. M. JamnikDr A. S. Prorok2021-10-01Learning 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-04Graph neural networks based Combinatorial optimisation in computational biology and medicine
Ilia KaisinDr N. KrishnaswamiProf. P. M. Sewell2021-10-01Bidirectional type inference
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-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
Ceren KocaoğullarProf. A. R. BeresfordDr R. N. Watson2021-10-01Privacy-Preserving Local-First Software
Michail KorakakisDr A. VlachosProf. E. J. Briscoe2020-10-012024-09-30Language Understanding for Text-based Games with Imitation Learning
Ryan KortvelesyDr 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. C. Rice2019-10-012023-09-30Integrating machine learning in to the IDE
Adam KuczProf. M. P. FioreDr J. D. Yallop2020-10-012024-09-30Algebraic Computational Effects in Programming Languages
Young Dae KwonProf. C. MascoloProf. A. R. Beresford2020-10-012024-09-30Continual learning in mobile sensing
De Sheng Royson LeeDr N. D. LaneProf. C. Mascolo2021-01-052025-01-04 Data and systems efficiency in video, image and audio synthesis tasks
Michelle LeeDr J. SinghProf. J. A. Crowcroft2019-10-012023-09-30Automating the assessment of contextual fairness trade-offs in machine learning
Pietro LesciDr A. VlachosProf. E. J. Briscoe2021-10-01Meta-learning for Natural Language Processing
Qingbiao LiDr A. S. ProrokDr T. M. Sauerwald2018-10-012022-09-30Learning-based methods for path planning in heterogeous robot teams
Hanxue LiangDr A. C. OztireliDr R. K. Mantiuk2021-10-01Self-Supervised Learing for 3D Feature Representation
Yilei LiangProf. J. A. CrowcroftProf. R. M. Mortier2021-10-01Federated edge machine learning
Edgaras LiberisDr N. D. LaneDr R. D. Mullins2020-10-012024-09-30Efficient deep learning in resource-constrained environments
Nandor LickerDr T. M. JonesProf. A. Mycroft2018-10-012022-09-30Cross-language post-link optimisations
Leo LobskiDr J. VicaryProf. A. Dawar2022-01-04Categorical Models of Computational Structures
Joycelyn LongdonProf. A. F. BlackwellProf. S. Keshav2021-10-01Monitoring Ghanaian forest biodiversity and health with bioacoustics, machine learning and indigenous knowledge
Dimitrios LosDr T. M. SauerwaldDr A. Vlachos2019-10-012023-09-30Load Balancing for Online Problems
Lucie Charlotte MagisterProf. P. Lio'Prof. M. Jamnik2021-10-01Medicine in a Glass Box: Towards the Explainability and Interpretability of Deep Learning in Medicine
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-012021-09-30Machine Learning for Automated Theorem Proving
Joseph MarchDr R. K. MantiukProf. A. F. Blackwell2021-01-042025-01-04Design and Implementation of a Sparsely Sampled Path Tracer
Andrei MargeloiuProf. M. JamnikProf. P. Lio2020-10-012024-09-30Breaking the curse of dimensionality in low-data tasks
Ioannis MarkakisDr J. VicaryProf. M. P. Fiore2020-10-012024-09-30New models for type theory and its applications
Simon MathisProf. P. Lio'Dr M. Clark (BAS)2021-10-01machine learning and Bioinformatics methods to detect climate changes signatures
Urška MatjašecProf. M. JamnikProf. P. Lio2020-10-012024-09-30Making deep neural networks more transparent by explaining their decisions
Hope Mc GovernDr A. P. CainesDr A. J. Hutchings2021-10-01Natural language processing of religious texts
Eric MeissnerProf. N. D. LawrenceDr R. M. Mortier2020-01-042024-01-03Fairness, Social Choice Theory and Machine Learning
Aida MiralaeiDr 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-30Monadic and comonadic constructions of algorithms
Russell MooreProf. P. J. ButteryDr A. C. Rice2016-01-042021-01-04Inferring knowledge-domain structure from student data
Steven MoradDr A. S. Prorok2021-01-052025-01-04Visual-Semantic Navigation in Autonomous Agent Systems
Jacob MossProf. P. Lio'Prof. M. Jamnik2020-10-012024-09-30Integrative Gene-Drug Networks Inference for Drug Discovery
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-01Deep Learning and Neural ODEs for Time-Series Analysis and Forecasting in Medical Prognosis
Adam O' ConghaileProf. A. DawarProf. A. M. Pitts2018-10-012022-09-30Resources 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
Indigo OrtonProf. A. MycroftDr E. Kalyvianaki2019-10-012023-09-30Dynamic Analysis for Concurrency Optimisation
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-01Side-channel security of post-quantum cryptography algorithms
Thibaut PéramiProf. P. M. SewellDr N. Krishnaswami2021-10-01System semantics
Tiago Pimentel Martins Da SilvaProf. S. H. Teufel,
Dr R. D. Cotterell
Dr R. Cotterell2019-10-012023-09-30Assessing Phonotactics
Jovan PowarProf. A. R. Beresford,
Dr J. Singh
Dr R. K. Harle2017-10-012021-09-30Privacy techniques for mobile computing
Carlos PurvesProf. P. Lio'Dr N. D. Lane2022-01-04Reinforcement Learning on the Edge: Specialised Control Policies with Limited Resources
Lorena QendroProf. C. MascoloDr A. R. Beresford2018-10-012022-09-30Uncertainty aware mobile sensing: Exploiting uncertainty estimations to inform sensor fusion and model selection
Kehai QiuDr I. J. Wassell2020-10-012024-09-30
Xinchi QiuDr N. D. LaneDr N. D. Lane2020-10-012024-09-30On Efficient and Federated Learning Paradigms
Nitarshan RajkumarDr F. HuszarProf. N. D. Lawrence2021-10-01Robust Generalisation in Deep Learning
Allison RandalProf. R. M. MortierDr A. V. S. Madhavapeddy2018-01-042022-01-04Characterising Computational Density in Datacentres
Aditya RavuriProf. N. D. LawrenceDr C. H. Ek2021-10-01Unsupervised Gaussian Process Models in Biological Data
Alexandre RaymondDr A. S. Prorok,
Dr H. Gunes
Dr A. R. Beresford2018-10-012022-09-30Explainable path planning
Alexander RiceDr 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
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
Luis Saavedra Del ToroProf. A. R. BeresfordProf. C. Mascolo2021-10-01Security and privacy in smart cities
Vadim SafronovProf. R. M. MortierProf. J. A. Crowcroft2019-10-012023-09-30Towards Distributed and Protocol-Independent IoT Interoperation in Smart Buildings]
Hayk SaribekyanDr T. M. SauerwaldDr M. Jamnik2017-10-012021-09-30Information spreading in distributed computing
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. Blackwell2022-01-042025-01-02
Omer SellaProf. A. W. Moore,
Dr N. Zilberman
Prof. J. A. Crowcroft2017-10-012021-09-30Adaptive network fabrics for rackscale
David SheetsDr A. V. S. Madhavapeddy,
Prof. J. A. Crowcroft
Prof. A. Mycroft2013-10-012017-09-30Resolution as a resource
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
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-04Learning Graph Representations for Facial Affect Recognition
Derek SorensenProf. M. P. FioreProf. A. Dawar2019-10-012023-09-30Synthetic Stable Homotopy 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
Pablo Spivakovsky-GonzalezProf. P. Lio'Dr Melissa Clark (BAS)2015-10-012021-09-30Cold Fish
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 distributed tracing methodologies
Tudor SuciuDr E. F. S. Shuckburgh2020-10-012024-09-30
Filip SvobodaDr N. D. LaneProf. P. Lio'2020-10-012024-09-30Deep Learning Efficiency: a path towards a rational automated machine learner
Dmitrij SzamozvancevDr N. KrishnaswamiProf. M. P. Fiore2018-10-012022-09-30Second order abstract syntax for compuational reflection
Shyam TailorDr N. D. LaneDr R. D. Mullins2020-10-012024-09-30Accelerating Neural Networks for Graph Structured Data
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-01Machine Learning and String theory
Zahra TarkhaniDr A. V. S. MadhavapeddyProf. J. A. Crowcroft2018-01-042022-01-03Trusted computation on untrusted Cloud
Calin TataruDr 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
James ThorneDr A. VlachosProf. A. A. Copestake2019-01-042023-01-03Interpretable Automation of Information Verification and Fact Checking
Kieron TurkDr A. J. HutchingsProf. R. J. Anderson2021-10-01Investigating the impact of technology on domestic abuse
Wen Hoi Gladys TyenProf. P. J. ButteryDr A. Caines2019-10-012023-09-30Providing feedback to language learners with adaptive chatbots
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
Francisco VargasProf. N. D. LawrenceProf. M. Jamnik2020-10-012024-09-30Bridging Mechanistic and Data Driven Modelling
Diana VasileProf. A. R. BeresfordDr A. V. S. Madhavapeddy2015-04-102021-06-02Improving the delivery of security updates in distributed systems
Anna VaughanDr N. D. Lane2020-10-012024-09-30Functional representations for extreme weather prediction
Anita VeroProf. A. A. CopestakeDr S. H. Teufel2015-10-012021-07-31Multi-modal semantics for Natural Language Processing
Smita Vijaya KumarDr E. Kalyvianaki,
Dr 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. Ek2020-10-012024-09-30
Viet Anh VuDr A. J. HutchingsProf. R. J. Anderson2021-10-01Tracking the Impact of Disruptions and Interventions on User Behaviour and Socioeconomic Dynamics of Online Cybercrime Platforms
Taiyi WangDr E. YonekiProf. J. A. Crowcroft2021-10-01Management and Optimisation of the Data Structure and Indexing in Database Systems
Jennifer WhiteProf. S. H. TeufelProf. P. J. Buttery2020-10-012024-09-30Gender De-biasing Methods for NLP
Vijja WichitwechkarnProf. P. Lio'Prof. M. Jamnik2022-01-04AI in medicine
Kawin WorrasangasilpaProf. L. C. PaulsonProf. A. Dawar2017-01-052021-01-04Formal Verification and Graph Algorithms
Tianhao WuDr A. C. OztireliProf. A. F. Blackwell2021-10-01Unsupervised Generalisable 3D Reconstruction from Images with Implicit Neural Representations and Neural Rendering
Yu WuProf. C. MascoloDr N. D. Lane2021-10-01Wearable Sensor Data Machine learning
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-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-30A multi-document model for informal, naturally occurring arguments
Shih-Chun YouDr M. G. KuhnDr S. Skorobogatov2018-10-012022-09-30Side-channel analysis of cryptographic algorithms
Zhangdie YuanDr A. VlachosProf. E. J. Briscoe2021-10-01Automated Fact Checking
Dingcheng YueDr R. K. MantiukProf. A. F. Blackwell2018-10-012022-09-30Representation for image based rendering
Andi ZhangDr D. J. WischikProf. P. Lio2019-10-012023-09-30Machine learning for discrete-structured datatypes
Hao ZhangProf. P. Lio'Dr S. B. Holden2022-01-04Generalisation of Molecular Generation
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
Chenliang ZhouDr A. C. OztireliDr R. K. Mantiuk2021-10-013D machine perception
Jin ZhuProf. P. Lio'Dr M. G. Kuhn2016-10-012021-09-30Deep neural networks for medical image segmentation
Ran ZmigrodProf. T. G. Griffin,
Dr R. D. Cotterell
Dr A. Vlachos2019-10-012023-09-30An Algorithmic Framework for Fast and Correct Dependency Parsing