Research groups and centres listed by theme

• Adaptive & Intelligent Robotics Lab
• AI Security and Privacy Lab
• Algorithmic Human Developments
• Applications, Platforms and Systems Security (APSS) Group
• Artificial Intelligence Network
• BASIRA Lab (Brain And Signal Research & Analysis Laboratory)
• Biomedical Image Analysis (BioMedIA)
• Brain and Behaviour Lab
• CIRCLE
• Computational Logic and Argumentation
• Formal Methods for Artificial Intelligence
• Group on Language Audio & Music (GLAM)
• Intelligent Behaviour Understanding (i-bug)
• Language and Multimodal AI Lab group (LAMA)
• Logic Production Systems
• Personal, Assistive, and Intelligent Robotics Lab (PAIR Lab)
• Realistic Graphics and Imaging
• Resilient Information Systems Security Group
• Robot Learning Lab
• Robot Vision Group
• Safe Artificial Intelligence Lab (SAIL) 
• Safe Whole-body Intelligent Robotics Lab
• Security and Machine Learning Lab
• Structured and Probabilistic Intelligent Knowledge Engineering (SPIKE)

• Centre for Cryptocurrency Research and Engineering
• Centre for Integrative Systems Biology and Bioinformatics (CISBIO)
• Centre for XAI
• Data Science Institute (DSI)
• The Dyson Robotics Lab
• Syngenta University Innovation Centre
• Artificial Intelligence Network
• Robotics Forum

Data Science

• AI Security and Privacy Lab
• Brain and Behaviour Lab
• DNA data storage group
• Large Scale Data & Systems Group (LSDS)
• SCALE Lab

• Centre for Integrative Systems Biology and Bioinformatics (CISBIO)
• Data Science Institute (DSI)
• Hamlyn Centre (Medical Image Computing and Robotics)

Programming Languages

• Custom Computing Group
• Mobility Reading Group
• Multicore Programming Group
• Program Specification and Verification Group
• Software Performance Optimisation
• Software Reliability Group (SRG)
• Sound Programming Languages (SLURP)
• Functional Programming Group
• Verification, Testing and Specification (VeriTaS) Lab

• Centre for Computational Methods in Science and Engineering (CMSE)

Cyber Security

• AI Security and Privacy Lab (AISP)
• Applications, Platforms and Systems Security (APSS) Group
• Computational Privacy Group
• Large Scale Data & Systems Group (LSDS)
• Resilient Information Systems Security (RISS)
• Security and Machine Learning Lab
• School of Convergence Science in Space, Security and Telecoms 
• Software Reliability Group (SRG)
• Verification, Testing and Specification (VeriTaS) Lab

• Academic Centre of Excellence in Cyber-Security Research
• Centre for Cryptocurrency Research and Engineering
• Centre for Engineering Secure Software Systems
• School of Convergence Science in Space, Security and Telecoms 

Software Engineering

• EdTech Lab
• Multicore Programming Group
• Software Performance Optimisation
• Software Reliability Group (SRG)
• Structured and Probabilistic Intelligent Knowledge Engineering (SPIKE)
• Quality of Service Group
• Verification, Testing and Specification (VeriTaS) Lab

• Centre for Cryptocurrency Research and Engineering (IC3RE)
• Centre for Engineering Secure Software Systems

Systems

• Adaptive Embedded Systems Engineering (AESE)
• Applications, Platforms and Systems Security (APSS) Group
• Custom Computing Group
• DNA Data Storage Group
• Large Scale Data & Systems Group (LSDS)
• FastPL Group
• Resilient Information Systems Security (RISS)
• Software Performance Optimisation
• Software Reliability Group (SRG)
• Quality of Service Group
• Quantitative Analysis and Decision Science Group

• Centre for Computational Methods in Science and Engineering (CMSE)
• Centre for Engineering Secure Software Systems
• Centre for Smart Connected Futures

Theory and Algorithms

• AESE Adaptive Emergent Systems Engineering Group
• Algorithmic Human Developments
• BASIRA Lab (Brain And Signal Research & Analysis Laboratory)
• Complexity of Algorithms Group
• Computational Optimization Group
• Continuous Data-Types and Exact Computation
• CIRCLE
• Mobile Vision Perception Lab (MVP Lab)
• Theory of Quantum Computing
• Software Performance Optimisation Group

• Centre for Computational Methods in Science and Engineering (CMSE)
• Centre for Cryptocurrency Research and Engineering (IC3RE)
• Institute for Security Science and Technology (ISST)

Analysis and Verification

• Multicore Programming Group
• Program Specification and Verification Group
• Research Cluster in Verification and Testing
• Software Reliability Group (SRG)
• Sound Programming Languages (SLURP)
• Verification of Autonomous Systems (VAS)

• Research Institute in Verified Trustworthy Software Systems

Robotics

• Adaptive & Intelligent Robotics Lab 
• Robot Learning Lab 
• Robot Vision Group 
• Robotics Forum 
• Personal Assistive, and Intelligent Robotics Lab (PAIR Lab) 
• Safe AI Lab 
• Safe Whole-body Intelligent Robotics Lab 
• Brain and Behaviour Lab 

Visual Computing

• Biomedical Image Analysis (BioMedIA)
• Intelligent Behaviour Understanding Group (i-bug)
• Machine Learning Group
• Realistic Graphics and Imaging
• Robot Learning Lab 
• Robot Vision Group

• The Dyson Robotics Lab
• Hamlyn Centre (Medical Image Computing and Robotics)