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
- A New Generation of Terahertz Emitters: Exploiting Electron Spin
- Arousal and Scanpath Trend Analysis (a-STA)
- 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
- Spin waves dynamics for spintronic computational devices
- Spintronics-based Neuromorphic Computing for Deep Learning
- Web Users with Cognitive Disabilities: Interaction Differences and Coping Strategies
Human centred computing projects
- "A la carte": multimodal development of tailored dashboards
- Arousal and Scanpath Trend Analysis (a-STA)
- Automatic Activity Analysis, Detection and Recognition
- Automatic Emotion Detection, Analysis and Recognition
- Digital Multimedia and Human Memory
- Evaluating Systems for the Augmentation of Human Cognition
- 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
- Type 1 Diabetes: Accurate Prediction of Glucose Absorption from Food
- Web Users with Cognitive Disabilities: Interaction Differences and Coping Strategies
Artificial intelligence projects
- Abstractive multi-document summarisation for systematic reviews synthesis
- 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
- 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
- Distant learning for information extraction
- Early Stage Researcher (PhD student) in Mobile Application and AI for Language Learning (H2020 eLADDA; Collaboration between Sponge and the University of Manchester)
- Ensemble Strategies for Semi-Supervised, Unsupervised and Transfer Learning
- Human-Robot Collaboration for Flexible Manufacturing (iCAse PhD with BAE Systems)
- In between structure and texture: Strexture
- Information Component Analysis via Deep Learning
- 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
- Noise-robust Natural Language Processing
- 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
- Spintronics-based Neuromorphic Computing for Deep Learning
- Text Analytics and Blog/Forum Analysis
- 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
- Type 1 Diabetes: Accurate Prediction of Glucose Absorption from Food
- 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
- 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
- Formally Verifying eBPF
- 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
- Trustworthy Certificates for Automated Theorem Provers
- 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
- Ensemble Strategies for Semi-Supervised, Unsupervised and Transfer Learning
- Fishing in the Data Lake
- In between structure and texture: Strexture
- Information Component Analysis via Deep Learning
- 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
- Text Analytics and Blog/Forum Analysis
- Type 1 Diabetes: Accurate Prediction of Glucose Absorption from Food
- Unlocking Open Data through Wrapper Generation
- Web Users with Cognitive Disabilities: Interaction Differences and Coping Strategies
- Zero-Shot Learning and Applications
Sophia Ananiadou projects
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
- Early Stage Researcher (PhD student) in Mobile Application and AI for Language Learning (H2020 eLADDA; Collaboration between Sponge and the University of Manchester)
- Human-Robot Collaboration for Flexible Manufacturing (iCAse PhD with BAE Systems)
- Social Human-Robot interaction using visual object recognition and hand pose estimation
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
- Formally Verifying eBPF
- 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
Suzanne Embury projects
Andre Freitas projects
Aphrodite Galata projects
Simon Harper projects
Dirk Koch projects
Peter Lammich projects
Kung-kiu Lau projects
Phong Le projects
Christoforos Moutafis projects
Tingting Mu projects
Mustafa Mustafa projects
Goran Nenadic projects
Paul Nutter 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