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
- Evaluating Systems for the Augmentation of Human Cognition
- Finding a way through the Fog from the Edge to the Cloud
- Guaranteeing Reliability for IoT Edge Computing Systems
- Hybrid Fuzzing Concurrent Software using Model Checking and Machine Learning
- Job and Task Scheduling and Resource Allocation on Parallel/Distributed systems including Cloud, Edge, Fog Computing
- Managing the data deluge for Big Data, Internet-of-Things and/or 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
- Problems in large graphs representing social networks
- 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
- Skyrmion-based Electronics
- Smart Security for Smart Services in an IoT Context
- Spin waves dynamics for spintronic computational devices
- Technology-driven Human Memory Degradation
- Ultrafast spintronics with synthetic antiferromagnets
Human centred computing projects
- Advising on the Use and Misuse of Collaborative Coding Workflows
- Arousal and Scanpath Trend Analysis (a-STA)
- Automatic Activity Analysis, Detection and Recognition
- Automatic Emotion Detection, Analysis and Recognition
- Automatic Experimental Design with Human in the Loop
- Biases in Physical Activity Tracking
- Computational Models to Predict Overnight Hypoglycemia in Type 1 Diabetes
- Evaluating Systems for the Augmentation of Human Cognition
- Learning of user models in human-in-the-loop machine learning
- Machine Learning and Cognitive Modelling Applied to Video Games
- Machine Learning and Explainable AI (EPSRC iCASE studentship)
- Pervasive Technology for Multimodal Human Memory Augmentation
- Smart Security for Smart Services in an IoT Context
- Technology-driven Human Memory Degradation
- The Effect of Uncertainty when Implementing Machine Ethics
- User Modeling for Physical Activity Tracking
Artificial intelligence projects
- (MRC DTP) Unlocking the research potential of unstructured patient data to improve health and treatment outcomes
- Abstractive multi-document summarisation
- Applying Natural Language Processing to real-world patient data to optimise cancer care
- Automatic Activity Analysis, Detection and Recognition
- Automatic Emotion Detection, Analysis and Recognition
- Automatic Experimental Design with Human in the Loop
- Balancing security and privacy with data usefulness and efficiency in wireless sensor networks
- Biologically-Plausible Continual Learning
- Computational logic: adventures with the fluted fragment
- Computational logic: super-counting quantifiers
- Contextualised Multimedia Information Retrieval via Representation Learning
- Data Integration & Exploration on Data Lakes
- Data-Science Approaches to Better Understand Multimorbidity and Treatment Outcomes in Patients with Rheumatoid Arthritis
- 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
- Event Coreference at Document Level
- Explainable AI and Dialog for Trust in Human-Robot Interaction
- Explainable and Interpretable Machine Learning
- Formal Verification for Robot Swams and Wirelss Sensor Networks
- Generating explainable answers to fact verification questions
- Hybrid Fuzzing Concurrent Software using Model Checking and Machine Learning
- Integrated text and table mining
- Job and Task Scheduling and Resource Allocation on Parallel/Distributed systems including Cloud, Edge, Fog Computing
- Learning of user models in human-in-the-loop machine learning
- Machine Learning and Cognitive Modelling Applied to Video Games
- Machine Learning and Explainable AI (EPSRC iCASE studentship)
- Machine Learning and Robotics (Honda Scholarship)
- Machine Learning for Vision and Language Understanding
- Multi-task Learning and Applications
- Probabilistic modelling and Bayesian machine learning
- Problems in large graphs representing social networks
- Programmable Mixed-Signal Fabric for Machine Learning Applications
- Reasoning with Natural Language
- Representation Learning and Its Applications
- Skyrmion-based Electronics
- Smart Security for Smart Services in an IoT Context
- Text Analytics and Blog/Forum Analysis
- The Effect of Uncertainty when Implementing Machine Ethics
- Trust and Wellbeing in Transparent Human-Robot Interaction Teams
- Zero-Shot Learning and Applications
Software and e-infrastructure projects
- Advising on the Use and Misuse of Collaborative Coding Workflows
- 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.
- Computational Models to Predict Overnight Hypoglycemia in Type 1 Diabetes
- 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 systems including Cloud, Edge, Fog Computing
- Managing the data deluge for Big Data, Internet-of-Things and/or Industry 4.0 environments
- Scheduling, Resource Management and Decision Making for Cloud / Fog / Edge Computing
- Security and privacy in p2p electricity trading
- Security-Minded Verification for Autonomous Systems
- 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
- Application Level Verification of Solidity Smart Contracts
- 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
- Computational logic: adventures with the fluted fragment
- Computational logic: super-counting quantifiers
- 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
- Formal Verification for Robot Swams and Wirelss Sensor Networks
- Hybrid Fuzzing Concurrent Software using Model Checking and Machine Learning
- Mathematical models for concurrent systems
- Problems in large graphs representing social networks
- Security and privacy in p2p electricity trading
- Security-Minded Verification for Autonomous Systems
- Using Program Synthesis for Program Repair in IoT Security
- Verifying Cyber-attacks in CUDA Deep Neural Networks for Self-Driving Cars
James Elson projects
Data science projects
- (MRC DTP) Unlocking the research potential of unstructured patient data to improve health and treatment outcomes
- Applying Natural Language Processing to real-world patient data to optimise cancer care
- Automatic Activity Analysis, Detection and Recognition
- Automatic Emotion Detection, Analysis and Recognition
- Automatic Experimental Design with Human in the Loop
- Blockchain-based Local Energy Markets
- Computational Models to Predict Overnight Hypoglycemia in Type 1 Diabetes
- Contextualised Multimedia Information Retrieval via Representation Learning
- Data Integration & Exploration on Data Lakes
- Data Wrangling
- Data-Science Approaches to Better Understand Multimorbidity and Treatment Outcomes in Patients with Rheumatoid Arthritis
- 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
- Explainable and Interpretable Machine Learning
- Finding a way through the Fog from the Edge to the Cloud
- Fishing in the Data Lake
- Integrated text and table mining
- Learning of user models in human-in-the-loop machine learning
- Machine Learning and Cognitive Modelling Applied to Video Games
- Managing the data deluge for Big Data, Internet-of-Things and/or Industry 4.0 environments
- Multi-task Learning and Applications
- Probabilistic modelling and Bayesian machine learning
- Problems in large graphs representing social networks
- Representation Learning and Its Applications
- Scheduling, Resource Management and Decision Making for Cloud / Fog / Edge Computing
- Security and privacy in p2p electricity trading
- Specifying and Optimising Data Wrangling Tasks
- Text Analytics and Blog/Forum Analysis
- Zero-Shot Learning and Applications
Sophia Ananiadou projects
Richard Banach projects
Riza Batista-navarro projects
Ke Chen projects
- Automatic Activity Analysis, Detection and Recognition
- Automatic Emotion Detection, Analysis and Recognition
- 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
- Explainable and Interpretable Machine 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
- Application Level Verification of Solidity Smart Contracts
- 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
- Hybrid Fuzzing Concurrent Software using Model Checking and Machine Learning
- Using Program Synthesis for Program Repair in IoT Security
- Verifying Cyber-attacks in CUDA Deep Neural Networks for Self-Driving Cars
Louise Dennis projects
Clare Dixon projects
Suzanne Embury projects
Andre Freitas projects
Simon Harper projects
Samuel Kaski projects
Dirk Koch projects
Kung-kiu Lau projects
Christoforos Moutafis projects
Tingting Mu projects
Mustafa Mustafa projects
Goran Nenadic projects
- (MRC DTP) Unlocking the research potential of unstructured patient data to improve health and treatment outcomes
- Applying Natural Language Processing to real-world patient data to optimise cancer care
- Data-Science Approaches to Better Understand Multimorbidity and Treatment Outcomes in Patients with Rheumatoid Arthritis
- Integrated text and table mining
- Text Analytics and Blog/Forum Analysis
Paul Nutter projects
Nhung Nguyen projects
Norman Paton projects
Vasilis Pavlidis projects
Pavlos Petoumenos projects
Ian Pratt-hartmann projects
Oliver Rhodes projects
Giles Reger projects
Rizos Sakellariou projects
- Finding a way through the Fog from the Edge to the Cloud
- Job and Task Scheduling and Resource Allocation on Parallel/Distributed systems including Cloud, Edge, Fog Computing
- Managing the data deluge for Big Data, Internet-of-Things and/or Industry 4.0 environments
- Problems in large graphs representing social networks
- Scheduling, Resource Management and Decision Making for Cloud / Fog / Edge Computing