Part B - Student Projects
Project Documents
Projects suggested by academics
Ioannis Agrafiotis, Louise Axon-Jones, Michael Goldsmith, Sadie Creese
Augmented-Reality Personal Security Solutions
Chatbot Attack and Vulnerability Models
Deep Learning Models to Support Computer Network Defence
Designing Cybersecurity Test Suites for Generative AI Systems
Generating Realistic Cybersecurity Datasets and Testbeds
Operational Security Tools for Users with Limited Cybersecurity Knowledge
Visualising Large Cybersecurity Datasets
Sonification for detecting cyber-attacks
Sara Bernardini
Game-theoretic Approaches to Multi-Agent Pathfinding
Leveraging Machine Learning for Multi-Agent Path Finding
Alfonso Bueno-Orovio, Abdallah Hasaballa
Computational Modelling of Disease Progression and Therapy Response in Hypertrophic Cardiomyopathy
Computational methods for identifying abnormalities from the electrocardiogram in heart disease
High Throughput, High Resolution, and High Frame-Rate Analysis of Cellular Heart Function
Integrating ECG and Myocardial Strain for Mechanistic Risk Stratification in Heart Disease
Vincent Cheval
Detection of cycles in the cryptographic protocol verifier ProVerif’s saturation procedure
Efficient algorithm unification for union of equational theories
Handling cryptographic primitives with complex algebraic properties
Multicore overhaul of the cryptographic protocol verifier ProVerif
Verifying security protocols with exclusive-or using PROVERIF
Christian Coester
Topics in Online Algorithms and Learning-Augmented Algorithms
Graham Cormode
Taming PETS: Privacy-Enhancing Technologies
Giuseppe De Giacomo
LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces
Obligation Games for Reactive Synthesis
Maximilian Doré
Economic aspects of cybersecurity
Thematic Analysis of National Cybersecurity Maturity Assessments
Seth Flaxman
David Kay
A fast numerical solver for multiphase flow
Efficient solution of one dimensional airflow models
Andrew Ker
A theoretical investigation of the Bag Gain phenomenon in steganography
An empirical investigation of the Bag Gain phenomenon in steganography
Extensions of the square root law of steganography
Sandra Kiefer
Projects in Theoretical Computer Science: Graph Theory and Algorithms, Logic, Automata Theory
Stefan Kiefer
Bartek Klin
Jakub Konieczny, James Worrell
Asymptotically automatic sequences
Extensions of Presburger arithmetic by polynomial-like functions
Elias Koutsoupias
Truthful scheduling for graphs
Andrey Kravchenko
Divide-and-Conquer Context: Do many short-context agents beat one long-prompt agent?
Do Punctuation Tokens Act as Sinks, Summaries, and Anchors in Transformers?
Graph-Memory Agents for Self-Evolving Web and SWE Tasks
Hidden Encoder in Decoder only generative models
Problem statement for the planning task
Task-Tailored Schema Agents for Reliable LLM Automation
Marta Kwiatkowska
Probabilistic Modelling Checking
Safety Assurance for Deep Neural Networks
Harjinder Lallie
Keyword searching audio/video files
Jeffrey Mak, Peter Minary
Development of deep learning-based cleavage activity prediction models for genome editors
Predicting protein contacts of CRISPR-Cas9 domains with factored attention
Ivan Martinovic, Edd Salkield
Covert Satellite Communications
Detecting Ship Misbehaviour through SAR Satellite Imagery and RF Signal Analysis
LEO Satellite Reconnaissance and Monitoring
Physical Layer Satellite Protocol Verification
Satellite Signal Hijacking and Interference
Securing Satellite Communication using Radio Transmitter Fingerprints
Signal Injection Attacks Against Modern Sensors
Simulating Large-Scale Satellite Networks for Security Research
SparSDR++: Using FPGAs for Wideband Satellite Reconnaissance
Transport Layer Security for Satellite Networks
Tom Melham
Developing computational tools to aid the design of CRISPR/Cas9 gene editing experiments
Developing machine learning models for off-target prediction in CRISPR/Cas9 gene editing
Boris Motik
Implementing a Datalog Reasoner
Implementing a Tableaux Reasoner for Description Logics
Hanno Nickau
David Parker
Model checking of stochastic games
Probabilistic Model Checking under Uncertainty
Joe Pitt-Francis
Automatic translation to GPGPU
General GPGPU and high performance computing projects
Intuitive exploration through novel visualisation
Alex Rogers
A High-Level Language for Digital Fabrication
Resurrecting Extinct Computers
Christian Rupprecht
Refinement for feed-forward SfM models
Understanding Bias in Object Detection Models
Christian Schroeder de Witt
Preventing Malicious Collusion between Advanced AI Systems
Sergii Strelchuk
Bernard Sufrin
Adapting Red to the Language Server Protocol
Embedded Handel for Hardware Design
Programming Language Implementation
Proof Support for a Haskell-like language
Proof by Pointing: Lean meets Jape
An AI Co-Scholar for Economic History
Causal and Interpretable AI for Contemporary Art Market Analysis
The AI Historian – Teaching Machines to Understand the Past
Max Van Kleek
ARETHA: A Transparent and Respectful Virtual Assistant for the Home
Privopticon: A privacy-preserving mesh OS for self-observation
Irina Voiculescu
3D demos of geometric concepts
3D demos of geometric concepts
3D environment for Hand Physiotherapy
3D stereo display of medical scan data
Different pretraining/finetuning strategies and how they impact calibration and uncertainty
Exact Algorithms for Complex Root Isolation
Gesture recognition using Leap Motion
Identifying features in MRI scan data
Reinforcement learning techniques for games
Jonathan Whiteley
Efficient linear algebra for block structured matrices
Parameter recovery for models described by differential equations
Topics in Linear Dynamical Systems
Nobuko Yoshida
Distributed Programming with Distributed Protocols in Scala
Extension to Probabilistic Resource-Aware Session Types
Implementation of Communication Logic for a Microservice Composition Engine.
Mechanisation of Quantum Concurrent Processes
Message passing with effect handlers
Model Checking Probabilistic Bisimulation in PRISM
Model-checking Timed Session Types
Probabilistic Bisimulation in Concurrent Protocols
Rust programming language for communication and distribution.
Session types in scientific computing and machine learning
Survey of Mechanisation of Distributed Protocol Specifications, Session Types
Survey of Session Types Literature
Verifying Basics of Subtyping for Asynchronous MPST in Coq
Verifying security protocols (Rust)
Standa Živný
Topics in Algorithms, Complexity, and Combinatorial Optimisation