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
- Spintronics-based Neuromorphic Computing for Deep Learning
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
- 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
- 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
- Spintronics-based Neuromorphic Computing for Deep Learning
- 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
- 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
Christoforos Moutafis 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