Research projects
Find a postgraduate research project in your area of interest by exploring the research projects that we offer in the Department 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
- Empirical Web Accessibility Evaluation for Blind Web Users
- 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
- Spin waves dynamics for spintronic computational devices
Human centred computing projects
- "A la carte": multimodal development of tailored dashboards
- Automatic Activity Analysis, Detection and Recognition
- Automatic Emotion Detection, Analysis and Recognition
- Cognitive Robotics and Human Robot Interaction
- Digital Multimedia and Human Memory
- Empirical Web Accessibility Evaluation for Blind Web Users
- 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
- Social Human-Robot interaction using visual object recognition and hand pose estimation
Artificial intelligence projects
- Automatic Activity Analysis, Detection and Recognition
- Automatic Emotion Detection, Analysis and Recognition
- Automatic Music Generation via Deep Learning
- Balancing security and privacy with data usefulness and efficiency in wireless sensor networks
- Biologically-Plausible Continual Learning
- 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
- Emerging Technology based Supply Chain Management
- Ensemble Strategies for Semi-Supervised, Unsupervised and Transfer Learning
- In between structure and texture: Strexture
- 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
- Social Human-Robot interaction using visual object recognition and hand pose estimation
- 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 Local Energy Markets
- Categorical proof theory
- Combining Concolic Testing with Machine Learning to Find Software Vulnerabilities in the Internet of Things
- Emerging Technology based Supply Chain Management
- 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
- Automatic Music Generation via Deep Learning
- Biologically-Plausible Continual Learning
- 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
- Emerging Technology based Supply Chain Management
- Empirical Web Accessibility Evaluation for Blind Web Users
- Ensemble Strategies for Semi-Supervised, Unsupervised and Transfer Learning
- In between structure and texture: Strexture
- 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
- Automatic Music Generation via Deep Learning
- Biologically-Plausible Continual Learning
- 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
- 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
Simon Harper 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