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
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-30Optimisation of Computer Systems
Nathanael AlcockProf. M. P. FioreProf. A. M. Pitts2018-10-012022-09-30Meta-languages in and for type theories
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
Helena Andres TerreProf. P. Lio'Dr T. M. Sauerwald2015-10-012019-12-15Cell decision making, integration of structural, genetic and epigenetic data
Edward AyersDr 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
Pietro BarbieroProf. P. Lio'Prof. M. Jamnik2019-10-012023-09-30Towards Interpretable Artificial Intelligence
Mihai BarbuProf. P. Lio'Dr D. J. Wischik2020-04-102024-04-09Deep Learning for Multiscale Processes
Cristian BodnarProf. P. Lio'Dr M. Jamnik2019-10-012023-09-30Evolution guided learning
Erika BondaveraProf. C. Mascolo2019-10-012023-09-30
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
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
Catalina CangeaProf. P. Lio'Dr M. Jamnik2017-10-012021-09-30Machine learning for multimodal data
Mario CekicDr T. G. GriffinProf. M. P. Fiore2016-10-012020-09-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
Nikhil ChuramaniDr H. Gunes Prof. A. F. Blackwell2018-10-012022-09-30Affective Mechanisms for Modelling Lifelong Human-Robot Relationships
James ClarkeDr R. N. WatsonProfessor S. W. Moore2018-10-012022-09-30CHERI: Privilege separation through multiprocess compartmentalisation
Adam ConnollyProf. A. DawarProf. G. Winskel2018-10-012022-09-30Graph Isomorphism and Constraint Satisfaction Problems
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
Krittika D'SilvaProf. C. MascoloProf. J. A. Crowcroft2016-10-012020-09-30Temporal models of urban human mobility
Christopher DavisDr 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
Christine De KockDr A. VlachosDr R. D. Cotterell2019-10-012023-09-30Automated moderation of toxic comments in online news platforms
Jacob DeasyProf. P. Lio'Prof. A. F. Blackwell2018-10-012022-09-30Machine learning in emergency care
Botty DimanovDr M. JamnikDr P. Lio2016-10-012020-09-30Interpretable deep learning
Giovanna maria DimitriProf. P. Lio'Prof. C. Mascolo2015-10-012019-09-30Development of network methodologies for brain data modelling
Michael DodsonDr A. R. Beresfordrkh232018-10-012022-09-30Sensor and control-system security
György DénesDr R. K. MantiukProf. P. Robinson2016-10-012020-09-30Terrain modelling
Chelsea EdmondsProf. L. C. PaulsonProf. M. Jamnik2019-10-012023-09-30The formalisation of combinatorial design theory
Mark ElliottDr 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
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 FekryProf. A. HopperDr I. J. Wassell2016-10-012020-09-30Provenance for Accelerating Big Data Analytics
Andrea FerliniProf. C. MascoloDr A. R. Beresford2019-01-042023-01-03Mobile and wearable sensing for health diagnostics
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
Xiaohang FuProf. P. Lio'Prof. M. Jamnik2019-10-012023-09-30Predictive Models and Integrated Cancer Data Towards Personalised Prognosis and Treatment
Salvator GaleaDr A. W. MooreDr Gianni Antichi2017-10-012021-09-30Traffic measurements with programmable data planes
Sian GoodingProf. E. J. BriscoeDr 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
Ran GuanDr R. K. HarleDr I. J. Wassell2015-10-012019-09-30Robust Indoor positioning
Xuan GuoDr R. D. MullinsDr T. M. Jones2018-10-012022-09-30The generation of hardware accelerators from high-level program descriptions
Brett GutsteinDr R. N. Watsonswm112018-10-012022-09-30Effective and Efficient Protection from Malicious Peripheral Devices
Angus HammondProf. P. M. SewellProf. A. M. Piits2019-10-012023-09-30Low-level systems verification
Param HanjiDr R. K. MantiukTBC2019-10-012023-09-30Computational Photography for Realistic Rendering
Apinan HasthanasombatProf. C. MascoloDr D. Wischik2018-10-012022-09-30Transferring causal models into spatio-temporal data analytics
Kevin HeffernanProf. S. H. TeufelProf. E. J. Briscoe2015-10-012019-09-30Argumentation Patterns in Scientific Discourse
Stefan HoseinDr P. J. ButteryProf. E. J. Briscoe2019-10-012023-09-30Multi-task Machine Learning Applied to Natural Language Processing
Nick HuProf. M. P. FioreProf. G. Winskel2019-10-012023-09-30Applications of Category Theory to Computer Science: Categorical Semantics of Computational Languages
Daniel HugenrothDr A. R. BeresfordProf. C. Mascolo2019-10-012023-09-30Privacy for the mobile masses
Jack HughesDr A. J. HutchingsProf. A. R. Beresford2019-10-012023-09-30cybercrime pathways on underground gaming forums
Mohibi HussainProf. J. A. Crowcroft,
Dr A. Sathiaseelan
Prof. C. Mascolo2015-10-012019-09-30Design analysis of future Internet technologies for overcoming the global digital divide
Dan Andrei IliescuDr R. K. MantiukTBC2019-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. Crowcroft2019-10-012023-09-30Self-scaling services using MirageOS unikernels
Andrej IvaskovicProf. A. MycroftDr N. Krisnaswami2018-10-012022-09-30Algebraic Coeffects
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
Mohammad Amin KaramlouProf. A. DawarDr T. M. Sauerwald2019-10-012023-09-30Fine-grained Complexity
Dmitry KazhdanProf. P. Lio'Prof. M. Jamnik2019-10-012023-09-30Learning the next generation of drug targets by modelling diseases, targets and their relationships
Ryan KortvelesyDr A. S. ProrokProf. A. R. Beresford2019-10-012023-09-30Augmented Motion Planning for Drones in Highly Dynamic Urban Environments
Robert KovacsicsProf. S. W. MooreDr R. D. Mullins2016-10-012020-09-30Security for the Internet of Things devices
Faustyna KrawiecDr A. C. RiceDr N. Krisnaswami2019-10-012023-09-30Integrating machine learning in to the IDE
Seng Ah 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 Resilient Robot Team Coordination
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
Amandla MabonaDr S. ClarkProf. E. J. Briscoe2015-10-012019-12-31Logic-based word and phrase embeddings
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
Alfredo MazzinghiDr R. N. WatsonProf. S. W. Moore2016-10-012020-09-30Spatial memory safety and compartmentalization in the CheriBSD kernal
Dylan McDermottProf. A. MycroftProf. A. M. Pitts2016-10-012021-01-04Coeffects
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 MooreDr P. J. ButteryDr A. C. Rice2016-01-042021-01-04Inferring knowledge-domain structure from student data
Aamir MustafaDr R. K. MantiukDr D. Wischik2019-10-012023-09-30Machine Learning for Computer Graphics
Ewa MuszynskaProf. A. A. CopestakeProf. E. J. Briscoe2015-10-012019-09-30Sentence chunking
Kyndylan NienhuisProf. P. M. SewellProf. M. J. C. Gordon2013-10-012017-09-30Verifying the correctness of compartmentalisation in CHERI
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 OrtonDr H. Gunes Prof. A. F. Blackwell2019-10-012023-09-30Vision based automatic body language interpretation for semantic context
Hugo PaquetProf. G. WinskelProf. M. P. Fiore2015-10-012019-09-30Probabilistic programming with strategies
Tiago Pimentel Martins Da SilvaDr R. D. CotterellDr A. Vlachos2019-10-012023-09-30Assessing Phonotactics
Jovan PowarDr A. R. BeresfordDr 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
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
Elizabeth ReillyDr A. R. BeresfordDr A. S. Prorok2019-10-012023-09-30Secure distributed inference and agreement
Alexander RichardsonDr R. N. WatsonProf. S. W. Moore2015-10-012019-09-30The implications of capability-system design for persistent memory technologies
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-30Secure microprocessors
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
Philip SavilleProf. M. P. FioreProf. A. M. Pitts2015-10-012019-09-30Connections between higher-dimensional category theory and the metatheory of type theory
Michael SchaarschmidtDr E. YonekiProf.J. A. Crowcroft2015-10-012019-09-30Deep reinforcement learning in cloud data management
Paul SchererProf. P. Lio',
Dr M. Jamnik
Dr S. B. Holden2019-01-042023-01-03Utilization of graph structured data in machine learning for oncology
Omer SellaDr 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-30Architectural systems semantics
Aaron SolomonProf. P. Lio'Prof. M. Jamnik2019-10-012023-09-30Graph Convolutional and Generative Adversarial Networks for Drug Discovery
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
Roy SplietDr R. D. MullinsProf. S. W. Moore2015-10-012019-09-30Parallel accelerators for hard real-time systems
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-30Homotopy Type Theory
Aaron StockdillDr 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 tracing methodologies in virtualized environments
Peng SunDr T. M. JonesProf. A. Mycroft2015-10-012019-09-30Enhancing Automatic Parallelisation Through Dynamic Adaptation
Dmitrij SzamozvancevDr N. KrishnaswamiProf. M. P. Fiore2018-10-012022-09-30Semantics of contextual modal type theory
Agnieszka SłowikDr S. B. Holden,
Dr M. Jamnik
Dr D. Wischik2019-01-042023-01-03Machine Learning for Theorem Proving
Chi Ian TangProf. C. MascoloDr I. J. Wassell2019-10-012023-09-30Machine Learning for Activity Recognition Systems
Zahra TarkhaniDr A. V. S. MadhavapeddyProf. J. A. Crowcroft2018-01-042022-01-03Trusted computation on untrusted Cloud
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 TyenDr 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
Diana VasileDr A. R. BeresfordDr A. V. S. Madhavapeddy2015-04-102020-04-16Improving the delivery of security updates in distributed systems
Anita VeroProf. A. A. CopestakeDr S. H. Teufel2015-10-012020-03-30Multi-modal semantics for Natural Language Processing
Alexander Michael VetterlProf. R. J. AndersonDr A. R. Beresford2016-10-012020-09-30A virtual honeypot for the Internet of Things
Smita Vijaya KumarDr A. V. S. MadhavapeddyDr E. Kalyvianaki2019-10-012023-09-30Self-Tuning Distributed Finite State Machines
Ramon Viñas TornéProf. P. Lio'Dr T. M. Sauerwald2019-10-012023-09-30Generating realistic Multiomic data
Duo WangProf. P. Lio',
Dr M. Jamnik
Prof. C. Mascolo2016-10-012020-09-30Bridging Computer Science with Neuroscience towards a new understanding of reasoning
Syed Waqas Haider ShahProf. J. A. Crowcroft2019-10-012020-09-30
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
Kawin WorrasangasilpaProf. L. C. PaulsonProf. A. Dawar2017-01-052021-01-04Formal Verification and Graph Algorithms
Huiyuan XieProf. A. A. CopestakeDr S. H. Teufel2018-10-012022-09-30Generating High-Quality Captions for Images
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-30Hyper-realistic displays
Ahmed ZaidiDr 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 ZhangDr A. R. BeresfordDr A. C. Rice2017-10-012021-09-30Privacy and security protection for mobile devices
Jianxin ZhaoProf. J. A. CrowcroftDr R. M. Mortier2015-10-012019-09-30Personal data: Privacy enhancing databox
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-30Visual Perception in VR and Hyper-realistic Displays
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-30Counter Factual Data Augmentation for Mitigating Gender Bias in Morphologically Rich Languages