In this section

Research groups and centres listed by theme

Artificial Intelligence
Adaptive & Intelligent Robotics Lab Applications, Platforms and Systems Security (APSS) Group Algorithmic Human Developments Biomedical Image Analysis (BioMedIA) Brain and Behaviour Lab Computational Logic and Argumentation Computational Privacy Group The Discovery Sciences Group Group on Language Audio & Music (GLAM) Intelligent Behaviour Understanding (i-bug) Language and Multimodal AI Lab (LAMA) group Logic Production Systems Machine Learning Group Realistic Graphics and Imaging Robot Learning Lab Robot Vision Group Structured and Probabilistic Intelligent Knowledge Engineering (SPIKE) Verification of Autonomous Systems (VAS)	Centre for Integrative Systems Biology and Bioinformatics (CISBIO) Data Science Institute (DSI) The Dyson Robotics Lab Syngenta University Innovation Centre Artificial Intelligence Network Robotics Forum
Data Science
Computational Privacy Group DNA data storage group The Discovery Sciences 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 Program Specification and Verification Group Social Computing Group Software Performance Optimisation Sound Programming Languages (SLURP) Functional Programming Group	Centre for Computational Methods in Science and Engineering (CMSE)
Security
Computational Privacy Group Large Scale Data & Systems (LSDS) Group Resilient Information Systems Security (RISS) Software Reliability Group	Centre for Cryptocurrency Research and Engineering (IC3RE) Centre for Engineering Secure Software Systems Institute for Security Science and Technology (ISST)
Software Engineering
Social Computing Group Software Performance Optimisation Software Reliability Group Structured and Probabilistic Intelligent Knowledge Engineering (SPIKE) Quality of Service Group	Centre for Cryptocurrency Research and Engineering (IC3RE) Centre for Engineering Secure Software Systems
Systems
Adaptive Embedded Systems Engineering (AESE) Custom Computing Group DNA data storage group Large Scale Data & Systems Group (LSDS) Multicore Programming Group Resilient Information Systems Security (RISS) Social Computing Group Software Performance Optimisation Software Reliability Group 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
Algorithmic Human Developments Complexity of Algorithms Group Computational Optimization Group Continuous Data-Types and Exact Computation	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 Sound Programming Languages (SLURP) Verification of Autonomous Systems (VAS)	Research Institute in Verified Trustworthy Software Systems
Visual Computing
Biomedical Image Analysis (BioMedIA) Intelligent Behaviour Understanding Group (i-bug) Machine Learning Group Realistic Graphics and Imaging Robot Vision Group Robot Learning Lab	The Dyson Robotics Lab Hamlyn Centre (Medical Image Computing and Robotics)