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.

studentsupervisor
(co-supervisor)
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
2019-10-01
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 "Homotopy.io"
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