Adaptive Embedded Systems Engineering
Algorithmic Human Developments
Applications, Platforms and Systems Security (APSS) Group
Automated Program Analysis & Verification
Summary of the table's contents
Biomedical Image Analysis
Brain & Behavior Lab
Summary of the table's contents
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
Data Science Institute
Discovery Sciences Group
Dyson Robotics Lab
Summary of the table's contents
Engineering Secure Software Systems
Summary of
Group on Language Audio & Music
Summary of the table's contents
Hamlyn Centre
Summary of the table's contents
Institute for Security Science & Technology
Integrative Systems Biology & Bioinformatics
Intelligent Behaviour Understanding
Summary of the table's contents
Large Scale Data & Systems Group
Logic Production Systems
Summary of the table's contents
Machine Learning Group
Mobility Reading Group
Multicore Programming Group
Summary of the table's contents
Program Specification & Verification Group
Summary of the table's contents
Realistic Graphics & Imaging
Resilient Information Systems Security
Robot Vision Group
Robot Learning Lab
Summary of the table's contents
SCALE Lab
Smart Robotics Lab
Social Computing Group
Software Performance Optimisation
Software Reliability
Sound Programming Languages
Structured and Probabilistic Intelligent Knowledge Engineering (SPIKE)
Syngenta University Innovation Centre
Summary of the table's contents
Verification of Autonomous Systems
Summary of the table's contents

Find out more

  • News
  • Events

News and events

Click here to discover what we've been up to and how you can get involved.