Research groups listed alphabetically

Research groups listed alphabetically

A

 Adaptive Embedded Systems Engineering
 Algorithmic Human Developments
 Analysis, Engineering, Simulation & Optimization of Performance
 Applications, Platforms and Systems Security lab - apss
 Automated Program Analysis & Verification
Summary of the table's contents

B

Biomedical Image Analysis
Brain & Behavior Lab
Summary of the table's contents

C

Complexity of Algorithms Group
Computational Logic & Argumentation
Computational Optimization Group
Computational Methods in Science & Engineering
Computational Neurodynamics Group
Computational Privacy Group
Continuous Data-Types & Exact Computation
Cryptocurrency Research & Engineering
Custom Computing Group
Summary of the table's contents

D

Data Science Institute
Discovery Sciences Group
Dyson Robotics Lab
Summary of the table's contents

E

 Engineering Secure Software Systems
Summary of the table's contents

G

 Group on Language Audio & Music
Summary of the table's contents

H

 Hamlyn Centre
Summary of the table's contents

I

 Institute for Security Science & Technology
 Integrative Systems Biology & Bioinformatics
 Intelligent Behaviour Understanding
Summary of the table's contents

L

Large Scale Data & Systems Group
Logic Production Systems
Summary of the table's contents

M

Machine Learning Group
Mobility Reading Group
Multicore Programming Group
Summary of the table's contents

P

Program Specification & Verification Group
Summary of the table's contents

R

Realistic Graphics & Imaging
Resilient Information Systems Security
Robot Vision Group
Robot Learning Lab
Summary of the table's contents

S

SCALE Lab
Smart Robotics Lab
Social Computing Group
Software Performance Optimisation
Software Reliability
Sound Programming Languages
Structured & Probabilistic Intelligent Knowledge Engineering
Syngenta University Innovation Centre
Summary of the table's contents

V

Verification of Autonomous Systems
Summary of the table's contents