Department of Computer Science and Technology

List of current PhD students

Data source: The table below is automatically generated from the Research_Students table on the departmental SQL server, maintained by Lise Gough, to whom enquiries about these records should be addressed.

second adviser startedexpected finishsubject
Nida AbbasiDr H. GunesProf. A. F. Blackwell2020-10-01Personalised 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
Mansoor AhmedProf. R. J. AndersonDr R. N. Watson2017-10-012021-09-30Effective governance by and of blockchain
Sami AlabedDr E. YonekiProf. J. A. Crowcroft2019-10-012023-09-30Intelligent distributed stream processors
Nathanael AlcockProf. M. P. FioreProf. A. M. Pitts2018-10-012022-09-30Algebraic type theory: syntax and semantics
Anwaar AliProf. J. A. Crowcroft,
Dr A. Sathiaseelan
Dr J. Singh, Prof. R. J. Anderson2017-04-172021-04-16Effective governance by and of blockchain
Hesham AlmataryDr R. N. WatsonProf. R. J. Anderson2018-04-172022-04-16CHERI architecture
Rami AlyDr A. VlachosProf. E. J. Briscoe2020-10-01Neural-Symbolic Reasoning for the Verification of Complex Claims
Mahwish ArifDr T. M. Jones2020-10-01Software Frameworks for Efficient Security Mechanisms
Jose Atondo SiuDr A. J. HutchingsProf. R. J. Anderson2020-10-01Understanding and detecting illicit money flows
Minja AxelssonDr H. GunesProf. A. F. Blackwell2020-10-01Designing and generating behaviours for a robotic wellness 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-01Physics Based Propagation Modelling and Integration with Network Protocol Design
Ntombikayise BandaProf. P. RobinsonProf. N. A. Dodgson2010-10-012016-09-30Multi-modal fusion for affective inference
Pietro BarbieroProf. P. Lio'Prof. M. Jamnik2020-04-10Towards Interpretable Artificial Intelligence
Pavel BerkovichDr C. H. Ek2021-01-04
Peter Blandford-BakerDr R. N. WatsonProf. S. W. Moore2020-10-01Using a Userspace CHERI Microkernel for a Shared Address-Space Process Model
Jan BlumenkampDr A. S. ProrokDr C. Oztireli2020-10-01Closing the reality gap in multi-agent reinforcement learning
Cristian BodnarProf. P. Lio'Prof. M. Jamnik2019-10-012023-09-30Geometric and Topological Deep Learning
Erika BondaveraProf. C. MascoloDr H. Gunes2019-10-012023-09-30To be agreed
Edward BrownDr N. D. Lane2020-10-01
Daniel BruderProf. S. H. TeufelProf. E. J. Briscoe2016-10-012020-09-30Graph-based operational transformations and semantic version management for multi-hierarchical non-linear text archives
David ButerezProf. P. Lio'Prof. M. Jamnik2020-10-01Unsupervised learning for modelling single cell to organ data
Kayla ButkowProf. C. Mascolo2019-10-01
Marco Caballero GutierrezProf. J. A. CrowcroftDr R. M. Mortier2016-10-012020-09-30Multi-radio wireless ad-hoc routing
Leran CaiDr T. M. SauerwaldProf. A. Dawar2016-10-012020-09-30Network algorithms based on Markov Chains
Alexander CampbellProf. P. Lio'Prof. John Suckling2019-10-012021-09-30To be agreed
Catalina CangeaProf. P. Lio'Dr M. Jamnik2017-10-012021-04-08Machine learning for multimodal data
Mario CekicDr T. G. GriffinProf. M. P. Fiore2016-10-012020-12-30Develop high-level specifications for optimisation problems
Alex ChadwickDr R. D. MullinsDr R. N. Watson2015-10-012020-08-09Design of operating systems for many-core systems
Yiwen ChenProf. S. H. TeufelDr E. Yoneki2019-01-042023-01-03Generation of Haiku Explanations
Julius ChengDr A. VlachosProf. P. J. Buttery2020-10-01Exploring the use dynamic oracles in imitation learning
Jiaee CheongDr H. Gunes2019-10-012023-09-30
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 ContrastinDr A. C. RiceProf. A. Mycroft2016-10-012020-09-30Static verification of scientific programs
Paula CzarnowskaProf. A. A. CopestakeDr P. J. Buttery2017-10-012021-09-30In search of meaning universals: Expolring morpheme semantics across different languages
Christopher DavisProf. P. J. ButteryProf. A. A. Copestake2017-10-012021-09-30Using multimodal models to facilitate adaptive language learning
Benjamin DayProf. P. Lio'Dr T. M. Sauerwald2017-10-012021-09-30Developing AI inspired by statistical physics
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-30Automated moderation of toxic comments in online news platforms
Botty DimanovProf. M. JamnikDr P. Lio2016-10-012020-09-30Interpretable deep learning
Michael DodsonProf. A. R. BeresfordDr R. K. Harle2018-10-012022-09-30Securing safety-critical computer systems
Petr DolezalProf. S. Keshav2020-10-01
Iulia DutaProf. P. Lio'Prof. M. Jamnik (in the first instance)2021-01-04Exploiting the structure of dynamic data using graph representation learning
Chelsea EdmondsProf. L. C. PaulsonProf. M. Jamnik2019-10-012023-09-30The formalisation of combinatorial design theory
Mark ElliottProf. P. J. ButteryProf. E. J. Briscoe2018-04-172022-04-16The application of measurement in the evaluation of automated assessment models
Christopher ElsbyProf. A. MycroftDr A. C. Rice2015-10-012019-09-30Idiomatic inter-language compilation
Dimitrije ErdeljanDr M. G. KuhnDr I. J. Wassell2019-10-012023-09-30Electro-magnetic side channels in mobile devices
Marton ErdosDr T. M. JonesDr R. D. Mullins2020-10-01Investigating TLS in high-performance processors
Lawrence EsswoodDr R. N. WatsonProf. R. J. Anderson2015-10-012019-09-30Automated Software Exploitation and Mitigation
Youmna FaragProf. E. J. BriscoeTBA2016-10-012020-09-30Computational models of discourse
Ayat FekryDr A. C. RiceDr I. J. Wassell2016-10-012020-09-30Provenance for Accelerating Big Data Analytics
Angelo FeraudoProf. J. A. CrowcroftDr R. M. Mortier2021-01-04Machine learning security settings for internet of things
Andrea FerliniProf. C. MascoloDr A. R. Beresford2019-01-042023-01-03Multi-modal in-ear sensing platform to sense behavioural cues
Felipe Ferreira SantosProf. A. DawarTBC2020-01-042024-01-03Logical Characterizations of Log-Space computation
Paris FloodProf. P. Lio'Dr A. S. Prorok2019-10-012023-09-30Machine Learning for personalized healthcare
Shaked FlurProf. P. M. SewellProf. S. W. Moore2013-10-012018-01-04ARM concurrency
Salvator GaleaProf. A. W. MooreDr Gianni Antichi2017-10-012021-09-30Traffic measurements with programmable data planes
Hongyun GaoDr R. K. MantiukDr A. C. Oztireli2020-10-01Blind image restoration via unsupervised neural networks
Yan GaoDr N. D. Lane2020-10-01
Rory GeesonDr S. B. Holden,
Prof. P. Lio
Dobrik GeorgievProf. P. Lio'Dr T. M. Sauerwald2020-10-01Neural execution of graph algorithms
Jennifer GielisDr A. S. ProrokProf. A. W. Moore2021-01-04Coupled Navigation-Networking Techniques for Mobile Robot Systems
Fazilet GokbudakDr A. C. OztireliDr H. Gunes2020-10-01Reconstructing 3D Digital Representations of Scenes for Extending Reality
Sian GoodingProf. E. J. BriscoeProf. Paula Buttery2019-10-012023-09-30Complex word identification
Andreas GrammenosProf. C. MascoloDr R. N. Watson2016-10-012020-09-30Streaming analytics over dynamic, heterogeneous high dimensional data
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-01Multilingual Metaphor Detection and Interpretation
Angus HammondDr N. Krishnaswami,
Prof. P. M. Sewell
Prof. A. M. Pitts2019-10-012023-09-30Low-level systems verification
Param HanjiDr R. K. MantiukDr A. C. Oztireli2019-10-012023-09-30Computational Photography for Realistic Rendering
Apinan HasthanasombatProf. C. MascoloDr D. Wischik2018-10-012022-09-30Continual causal learning in personal analytics
Kevin HeffernanProf. S. H. TeufelProf. E. J. Briscoe2015-10-012019-09-30Argumentation Patterns in Scientific Discourse
Daniel HugenrothProf. A. R. BeresfordProf. C. Mascolo2019-10-012023-09-30Privacy for the mobile masses
Jack HughesDr A. J. HutchingsProf. A. R. Beresford2019-10-012023-09-30Using machine learning and big data approaches to understand the role of gaming within cybercrime pathways on underground discussion platforms
Toshiharu IgarashiDr H. Gunes2020-10-01
Dan Andrei IliescuDr R. K. MantiukDr H. Gunes2019-10-012023-09-30Machine Learning for Computational Photography
Joseph IsaacsDr T. M. JonesProf. A. Mycroft2017-10-012021-09-30Extracting ultra-fine-grained program parallelism
Al Amjad Tawfiq IsstaifDr R. M. MortierProf. J. A. Crowcroft2020-10-01Self-scaling services using MirageOS unikernels
Andrej IvaskovicProf. A. MycroftDr N. Krishnaswami2018-10-012022-09-30Graded structures in program analysis
Andrew JefferyDr R. M. MortierProf. J. A. Crowcroft2020-10-01A Decentralised Unikernel Cluster Orchestration System for Elastic Cloud Deployments
Christopher JensenDr R. M. MortierTBA2020-10-01Verified distributed systems
Akshay JindalDr R. K. MantiukDr D. Wischik2019-01-042023-01-03Rendering for future display technologies
David Kaloper MersinjakDr A. V. S. Madhavapeddy,
Prof. P. M. Sewell
Prof. P. M. Sewell2016-01-042020-01-03A re-engineered approach to security protocol specification and implementation
Georgi KaradzhovDr A. VlachosDr R. D. Cotterell2019-10-012023-09-30Explainable automated fact checking
Dmitry KazhdanProf. M. Jamnik,
Prof. P. Lio
Prof. N. D. Lawrence2019-10-012023-09-30Learning the next generation of drug targets by modelling diseases, targets and their relationships
Michail KorakakisDr A. VlachosProf. E. J. Briscoe2020-10-01Language 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 A. C. RiceDr N. Krishnaswami2019-10-012023-09-30Integrating machine learning in to the IDE
Adam KuczProf. M. P. FioreDr J. D. Yallop2020-10-01Algebraic Computational Effects in Programming Languages
Young Dae KwonProf. C. MascoloProf. A. R. Beresford2020-10-01Continual learning in mobile sensing
Michelle LeeDr J. SinghProf. J. A. Crowcroft2019-10-012023-09-30Automating the assessment of contextual fairness trade-offs in machine learning
Qingbiao LiDr A. S. ProrokDr T. M. Sauerwald2018-10-012022-09-30Learning-based methods for path planning in heterogeous robot teams
Edgaras LiberisDr N. D. LaneDr R. D. Mullins2020-10-01Efficient deep learning in resource-constrained environment
Nandor LickerDr T. M. JonesProf. A. Mycroft2018-10-012022-09-30Cross-language post-link optimisations
Dimitrios LosDr T. M. SauerwaldDr A. Vlachos2019-10-012023-09-30Applications of supervised machine learning algorithms to NLP
Dhruv MakwanaDr N. KrishnaswamiProf. P. Sewell2020-04-102024-04-09Designing new low-level systems programming languages suitable for verification
Chaitanya ManglaProf. L. C. Paulson,
Dr S. B. Holden
Prof. L. Paulson2016-10-012020-09-30Machine Learning for Automated Theorem Proving
Dionysios ManousakasProf. C. MascoloDr M. Jamnik2016-10-012020-12-30Mobile user modelling: Towards intelligent privacy aware collaborative sensing
Mariana-Cristina MarasoiuProf. A. F. BlackwellProf. N. A. Dodgson2015-10-012019-09-30End-User Programming of Visualizations
Joseph MarchDr R. K. MantiukProf. A. F/ Blackwell2020-10-01Design and Implementation of a Sparsely Sampled Path Tracer
Andrei MargeloiuProf. M. JamnikProf. P. Lio2020-10-01Towards Reliable Deep Learning Systems in Medicine
Ioannis MarkakisDr J. VicaryProf. M. P. Fiore2020-10-01New models for type theory and its applications
Urška MatjašecProf. M. JamnikProf. P. Lio2020-10-01Making deep neural networks more transparent by explaining their decisions
Alfredo MazzinghiDr R. N. WatsonProf. S. W. Moore2016-10-012020-09-30Spatial memory safety and compartmentalization in the CheriBSD kernal
Eric MeissnerProf. N. D. LawrenceDr R. M. Mortier2020-01-042024-01-03AutoAI via Meta Modelling in Machine Learning Systems
Aliaksei MikhailiukDr R. K. MantiukDr H. Gunes2017-10-012021-09-30Quantifying quality of hyper-realistic images
Aida MiralaeiDr T. M. JonesDr R. D. Mullins2017-10-012021-09-30Energy efficient in-memory approach for binary convolutional neural network
Russell MooreProf. P. J. ButteryDr A. C. Rice2016-01-042021-01-04Inferring knowledge-domain structure from student data
Yoav MosheProf. A. DawarProf. A. M. Pitts2020-10-01Monadic and Co-Monadic constructions of algorithms
Jacob MossProf. P. Lio'Prof. M. Jamnik2020-10-01Integrative Gene-Drug Networks Inference for Drug Discovery
Aamir MustafaDr R. K. MantiukDr D. Wischik2019-10-012023-09-30Machine Learning for Computer Graphics
Kyndylan NienhuisProf. P. M. SewellProf. M. J. C. Gordon2013-10-012017-09-30Verifying the correctness of compartmentalisation in CHERI
Omer NivronDr D. J. Wischik2020-10-01
Adam O' ConghaileProf. A. DawarProf. G. Winskel2018-10-012022-09-30Resources and coresources: compositional methods in finite model theory and descriptive complexity
Helen OliverProf. J. A. CrowcroftDr R. M. Mortier2016-10-012020-09-30Obstacles to wearable computing
Felix OpolkaProf. P. Lio'TBA2019-10-012023-09-30Attention, Conditioning and interpretability in Deep Learning
Indigo 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-01
Tiago Pimentel Martins Da SilvaDr R. D. CotterellDr A. Vlachos2019-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
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-01
Xinchi QiuDr N. D. LaneDr N. D. Lane2020-10-01On Efficient and Federated Learning Paradigms
Allison RandalDr R. M. MortierDr A. V. S. Madhavapeddy2018-01-042022-01-03Characterising Computational Density in Datacentres
Alexandre RaymondDr A. S. Prorok,
Dr H. Gunes
Dr A. R. Beresford2018-10-012022-09-30Explainable path planning
Olesya RazuvayevskayaProf. S. H. TeufelProf. A. A. Copestake2015-10-012019-09-30Computational methods for enthymeme reconstruction
Alexander RiceDr J. VicaryProf. M. P. Fiore2020-10-01Logical Structures in ""
Diana RobinsonProf. A. F. BlackwellDr David Good2020-01-042024-01-03Medical decision making with AI assistance
Emma RocheteauProf. P. Lio'Dr M. Jamnik2017-10-012021-09-30Predicting outcomes in psychiatric disorders using automated reinforcement-learning analysis of electronic health records
Peter RuggProf. S. W. MooreDr R. N. Watson2018-10-012022-09-30Efficient microarchitecture for capability machines
Vadim SafronovDr R. M. MortierProf. J. A. Crowcroft2019-10-012023-09-30Towards a Standardized Communication Model for Smart Buildings
Hayk SaribekyanDr T. M. SauerwaldDr M. Jamnik2017-10-012021-09-30Information spreading in distributed computing
Paul SchererProf. P. Lio',
Prof. M. Jamnik
Dr S. B. Holden2019-01-042023-01-03Utilization of graph structured data in machine learning for oncology
Omer SellaProf. A. W. Moore,
Dr N. Zilberman
Prof. J. A. Crowcroft2017-10-012021-09-30Adaptive network fabrics for rackscale
Ilia ShumailovProf. R. J. AndersonDr R. N. Watson2017-10-012021-09-30Behavioural manipulation of robotic herds
Ben SimnerProf. P. M. SewellProf. S. W. Moore2018-10-012022-09-30ARM System semantics
Agnieszka SłowikDr S. B. Holden,
Prof. M. Jamnik
Dr D. Wischik2019-01-042023-01-03Machine Learning for Theorem Proving
Derek SorensenProf. M. P. FioreProf. A. Dawar2019-10-012023-09-30Higher-Dimensional Mathematical Structure in Homotopy Type Theory
Simeon SpasovProf. P. Lio',
Prof. M. Spillantini (ClinMed)
Dr M. Jamnik2016-10-012020-09-30Semi-supervised learning methods for data-scarce computer vision tasks
Dimitrios SpathisProf. C. MascoloDr Jason Rentfrow2017-10-012021-09-30Multi-task and multi-modal deep learning on heterogenous mobile sensing data
Pablo Spivakovsky-GonzalezProf. P. Lio'Dr Melissa Clark (BAS)2015-10-012019-09-30Cold Fish
Yiannos StathopoulosProf. S. H. TeufelDr S. Clark2013-10-012017-12-30Retrieval of mathematical concepts via deep indexing
Shaun SteenkampProf. A. M. PittsProfessor M. P. Fiore2018-10-012022-09-30Quotients in type theory
Aaron StockdillProf. M. JamnikDr S. B. Holden2017-10-012021-09-30Automating representation change across domains for reasoning
Domagoj StolfaDr R. N. WatsonDr A. R. Beresford2017-10-012021-09-30Developing new distributed tracing methodologies
Tudor SuciuDr E. F. S. Shuckburgh2020-10-01
Filip SvobodaDr N. D. LaneDr N. D. Lane2020-10-01Deep 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 N. D. Lane2020-10-01Learned Components in Computer Systems
Chi Ian TangProf. C. MascoloDr R. K. Harle2019-10-012023-09-30Semi-supervised Learning for Scalable Human Activity Recognition Systems
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-01Cubical models of higher categories
Pierre ThodoroffProf. N. D. LawrenceDr Carl Henrik Ek2020-10-01Sequential Decision making in probabilistic models
James ThorneDr A. VlachosProf. A. A. Copestake2019-01-042021-01-03Interpretable Automation of Information Verification and Fact Checking
Nicholas TimmonsDr A. C. RiceProf. A. Mycroft2017-10-012021-09-30Software-based approximate computing
Wen Hoi Gladys TyenProf. P. J. ButteryDr A. Caines2019-10-012023-09-30Bootstrapping lexical resources for low resourced languages
Danny VagnozziProf. A. DawarProf. A. M. Pitts2017-10-012021-09-30Graph Isomorphism
Josef ValvodaProf. S. H. TeufelProf. P. J. Buttery2019-10-012023-09-30Robust Reasoning in the legal domain
Marno Van Der MaasProf. S. W. MooreDr R. N. Watson2017-10-012021-09-30Private Application Execution
Francisco VargasProf. N. D. LawrenceProf. M. Jamnik2020-10-01Bridging Mechanistic and Data Driven Modelling
Diana VasileProf. A. R. BeresfordDr A. V. S. Madhavapeddy2015-04-102020-04-16Improving the delivery of security updates in distributed systems
Anna VaughanDr N. D. Lane2020-10-01
Florence VerityProf. M. P. FioreProf. A. M. Pitts2021-01-04Homotopy Type Theory and Higher Inductive Types
Anita VeroProf. A. A. CopestakeDr S. H. Teufel2015-10-012020-03-30Multi-modal semantics for Natural Language Processing
Smita Vijaya KumarDr E. Kalyvianaki,
Dr A. V. S. Madhavapeddy
To be appointed2019-10-012023-09-30Centralized Scheduling using Decentralized Schedulers - An Approach to Increasing Data Centre CPU Utilization
Ramon Viñas TornéProf. P. Lio'Dr T. M. Sauerwald2019-10-012023-09-30Generating realistic Multiomic data
Mala VirdeeDr C. H. Ek2020-10-01
Duo WangProf. P. Lio',
Prof. M. Jamnik
Prof. C. Mascolo2016-10-012020-09-30Bridging Computer Science with Neuroscience towards a new understanding of reasoning
Mark WassellProf. P. M. SewellProf. A. M. Pitts2016-10-012020-09-30Tool support for semantics
Conrad WattProf. P. M. SewellProf. A. Mycroft2016-10-012020-09-30Formalising WebAssembly: the new language of the Net
Jennifer WhiteProf. S. H. TeufelProf. P. J. Buttery2020-10-01Gender De-biasing Methods for NLP
Kawin WorrasangasilpaProf. L. C. PaulsonProf. A. Dawar2017-01-052021-01-04Formal Verification and Graph Algorithms
Tong XiaProf. C. MascoloProf. P. Lio2020-10-01Exploring machine learning in epidemiological studies of digital phenotyping
Huiyuan XieProf. A. A. CopestakeDr S. H. Teufel2018-10-012022-09-30High-Quality Image Captioning Incorporating Formal Semantics
Junwei YangProf. P. Lio'Dr John Suckling2019-10-012023-09-30Deep learning for neuroscience and back
Yuxiao YeProf. S. H. TeufelProf. P. J. Buttery2019-10-012023-09-30Real-world reasoning for large-scale argument mining
Shih-Chun YouDr M. G. KuhnDr S. Skorobogatov2018-10-012022-09-30Side-channel analysis of cryptographic algorithms
Dingcheng YueDr R. K. MantiukProf. A. F. Blackwell2018-10-012022-09-30Representation for image based rendering
Ahmed ZaidiProf. P. J. ButteryProf. E. J. Briscoe2016-10-012020-09-30Reinforcement learning for adaptive tutoring
Joseph ZammitDr I. J. Wassell,
Dr. Ashwin A Seshia (CUED)
Dr R. K. Harle2016-10-012020-09-30Real-time compressive sensing imagine systems
Andi ZhangDr D. J. WischikProf. P. Lio2019-10-012023-09-30Machine learning for discrete-structured datatypes
Jiexin ZhangProf. A. R. BeresfordDr A. C. Rice2017-10-012021-09-30Fingerprinting mobile devices: techniques and applications
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
Hai ZhongDr A. S. ProrokDr I. J. Wassell2020-10-01Coordination in mixed-autonomy multi-agent systems
Jin ZhuProf. P. Lio'Dr M. G. Kuhn2016-10-012020-09-30Deep neural networks for medical image segmentation
Ran ZmigrodDr R. D. CotterellDr A. Vlachos2019-10-012023-09-30An Algorithmic Framework for Fast and Correct Dependency Parsing