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-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'
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'
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