Artificial Intelligence 

GroupsCentres

Adaptive & Intelligent Robotics Lab

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 (LSDS) Group

SCALE Lab

Centre for Integrative Systems Biology and Bioinformatics (CISBIO)

Data Science Institute (DSI)

Hamlyn Centre (Medical Image Computing and Robotics)

 

Programming Languages

Analysis, Engineering, Simulation & Optimization of Performance (AESOP)

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

Analysis, Engineering, Simulation & Optimization of Performance (AESOP)

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 (LSDS) Group

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

Analysis, Engineering, Simulation & Optimization of Performance (AESOP)

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)