Research projects
Find a postgraduate research project in your area of interest by exploring the research projects that we offer in the School of Computer Science.
We have a broad range of research projects for which we are seeking doctoral students. Browse the list of projects on this page or follow the links below to find information on doctoral training opportunities, or applying for a postgraduate research programme.
Alternatively, if you would like to propose your own project then please include a research project proposal and the name of a possible supervisor with your application.
Available projects
Future computing systems projects
- A Multi-Tenancy FPGA Cloud Infrastructure and Runtime System
- Balancing security and privacy with data usefulness and efficiency in wireless sensor networks
- Blockchain-based Local Energy Markets
- Cloud Computing Security
- Design and Exploration of a Memristor-enabled FPGA Architecture
- Design and Implementation of an FPGA-Accelerated Data Analytics Database
- Digital Multimedia and Human Memory
- Evaluating Systems for the Augmentation of Human Cognition
- Guaranteeing Reliability for IoT Edge Computing Systems
- Job and Task Scheduling and Resource Allocation on Parallel/Distributed machines
- Managing the data deluge for Big Data, Internet-of-Things, Industry 4.0 environments
- Pervasive Technology for Multimodal Human Memory Augmentation
- Power Management Methodologies for IoT Edge Devices
- Power Transfer Methods for Inductively Coupled 3-D ICs
- Programmable Mixed-Signal Fabric for Machine Learning Applications
- Scheduling, Resource Management and Decision Making for Cloud / Fog / Edge Computing
- Security and privacy in p2p electricity trading
- Smart Security for Smart Services in an IoT Context
Human centred computing projects
- Automatic Activity Analysis, Detection and Recognition
- Automatic Emotion Detection, Analysis and Recognition.
- Cognitive Robotics and Human Robot Interaction
- Digital Multimedia and Human Memory
- Evaluating Systems for the Augmentation of Human Cognition
- Interactive Sequential Pattern Mining of Web Logs
- Machine Learning and Cognitive Modelling Applied to Video Games
- Pervasive Technology for Multimodal Human Memory Augmentation
- Smart Security for Smart Services in an IoT Context
Artificial intelligence projects
- Automatic Activity Analysis, Detection and Recognition
- Automatic Emotion Detection, Analysis and Recognition.
- Balancing security and privacy with data usefulness and efficiency in wireless sensor networks
- Biologically Inspired Deep Learning for Speech Information Processing
- Blockchain Based Brokering of Electricity Supply Tariffs
- Blockchain Based Mangement of Genomics Data
- Building Machine Learning Models Using Matrix Factorisation
- Cognitive Robotics and Human Robot Interaction
- Contextualised Multimedia Information Retrieval via Representation Learning
- Data Integration & Exploration on Data Lakes
- Deep Learning for Temporal Information Processing
- Design and Implementation of an FPGA-Accelerated Data Analytics Database
- Ensemble Strategies for Semi-Supervised, Unsupervised and Transfer Learning
- In between structure and texture: Strexture
- Information Component Analysis via Deep Learning
- Information Component Analysis via Deep Learning
- Interactive Sequential Pattern Mining of Web Logs
- Job and Task Scheduling and Resource Allocation on Parallel/Distributed machines
- Machine Learning and Cognitive Modelling Applied to Video Games
- Machine Learning for Vision and Language Understanding
- Multi-task Learning and Applications
- Problems in large graphs (e.g., social networks, VANETs)
- Programmable Mixed-Signal Fabric for Machine Learning Applications
- Smart Security for Smart Services in an IoT Context
- Zero-Shot Learning and Applications
Software and e-infrastructure projects
- Automatic Detection and Repair of Software Vulnerabilities in Unmanned Aerial Vehicles
- Combining Concolic Testing with Machine Learning to Find Software Vulnerabilities in the Internet of Things
- Component-based Software Development.
- Design and Exploration of a Memristor-enabled FPGA Architecture
- Exploiting Software Vulnerabilities at Large Scale
- Finding Vulnerabilities in IoT Software using Fuzzing, Symbolic Execution and Abstract Interpretation
- Job and Task Scheduling and Resource Allocation on Parallel/Distributed machines
- Managing the data deluge for Big Data, Internet-of-Things, Industry 4.0 environments
- Scheduling, Resource Management and Decision Making for Cloud / Fog / Edge Computing
- Security and privacy in p2p electricity trading
- Using Program Synthesis for Program Repair in IoT Security
- Verifying Cyber-attacks in CUDA Deep Neural Networks for Self-Driving Cars
Theory and foundations projects
- A Multi-Tenancy FPGA Cloud Infrastructure and Runtime System
- Automatic Detection and Repair of Software Vulnerabilities in Unmanned Aerial Vehicles
- Blockchain Based Brokering of Electricity Supply Tariffs
- Blockchain Based Mangement of Genomics Data
- Blockchain-based Local Energy Markets
- Categorical proof theory
- Combining Concolic Testing with Machine Learning to Find Software Vulnerabilities in the Internet of Things
- Exploiting Software Vulnerabilities at Large Scale
- Finding Vulnerabilities in IoT Software using Fuzzing, Symbolic Execution and Abstract Interpretation
- Formal Methods: Hybrid Event-B and Rodin
- Formal Methods: Mechanically Checking the Semantics of Hybrid Event-B
- Formal Semantics of the Perfect Language
- In between structure and texture: Strexture
- Mathematical models for concurrent systems
- Minimum Description Length: An information-theoretic approach to the groupwise study of image information
- Problems in large graphs (e.g., social networks, VANETs)
- Security and privacy in p2p electricity trading
- Understanding the 'Wiring' of the Brain
- Using Program Synthesis for Program Repair in IoT Security
- Verification of Efficient Algorithms in Isabelle/HOL
- Verifying Cyber-attacks in CUDA Deep Neural Networks for Self-Driving Cars
James Elson projects
Data science projects
- Automatic Activity Analysis, Detection and Recognition
- Automatic Emotion Detection, Analysis and Recognition.
- Biologically Inspired Deep Learning for Speech Information Processing
- Blockchain Based Brokering of Electricity Supply Tariffs
- Blockchain Based Mangement of Genomics Data
- Blockchain-based Local Energy Markets
- Building Machine Learning Models Using Matrix Factorisation
- Contextualised Multimedia Information Retrieval via Representation Learning
- Data Integration & Exploration on Data Lakes
- Data Wrangling
- Deep Learning for Temporal Information Processing
- Design and Implementation of an FPGA-Accelerated Data Analytics Database
- Ensemble Strategies for Semi-Supervised, Unsupervised and Transfer Learning
- In between structure and texture: Strexture
- Information Component Analysis via Deep Learning
- Information Component Analysis via Deep Learning
- Interactive Sequential Pattern Mining of Web Logs
- Machine Learning and Cognitive Modelling Applied to Video Games
- Managing the data deluge for Big Data, Internet-of-Things, Industry 4.0 environments
- Minimum Description Length: An information-theoretic approach to the groupwise study of image information
- Multi-task Learning and Applications
- Problems in large graphs (e.g., social networks, VANETs)
- Scheduling, Resource Management and Decision Making for Cloud / Fog / Edge Computing
- Security and privacy in p2p electricity trading
- Social Human-Robot interaction using visual object recognition and hand pose estimation
- Specifying and Optimising Data Wrangling Tasks
- Zero-Shot Learning and Applications
Richard Banach projects
Ke Chen projects
- Automatic Activity Analysis, Detection and Recognition
- Automatic Emotion Detection, Analysis and Recognition.
- Biologically Inspired Deep Learning for Speech Information Processing
- Contextualised Multimedia Information Retrieval via Representation Learning
- Deep Learning for Temporal Information Processing
- Ensemble Strategies for Semi-Supervised, Unsupervised and Transfer Learning
- Information Component Analysis via Deep Learning
- Information Component Analysis via Deep Learning
- Machine Learning and Cognitive Modelling Applied to Video Games
- Multi-task Learning and Applications
- Zero-Shot Learning and Applications
Sarah Clinch projects
Angelo Cangelosi projects
Lucas Cordeiro projects
- Automatic Detection and Repair of Software Vulnerabilities in Unmanned Aerial Vehicles
- Combining Concolic Testing with Machine Learning to Find Software Vulnerabilities in the Internet of Things
- Exploiting Software Vulnerabilities at Large Scale
- Finding Vulnerabilities in IoT Software using Fuzzing, Symbolic Execution and Abstract Interpretation
- Using Program Synthesis for Program Repair in IoT Security
- Verification of Efficient Algorithms in Isabelle/HOL
- Verifying Cyber-attacks in CUDA Deep Neural Networks for Self-Driving Cars
Andre Freitas projects
Aphrodite Galata projects
Dirk Koch projects
Peter Lammich projects
Kung-kiu Lau projects
Tingting Mu projects
Mustafa Mustafa projects
Norman Paton projects
Vasilis Pavlidis projects
Giles Reger projects
Rizos Sakellariou projects
- Job and Task Scheduling and Resource Allocation on Parallel/Distributed machines
- Managing the data deluge for Big Data, Internet-of-Things, Industry 4.0 environments
- Problems in large graphs (e.g., social networks, VANETs)
- Scheduling, Resource Management and Decision Making for Cloud / Fog / Edge Computing