Advanced computation and quantum technology

Deep technologies that give us access to functionality or performance previously considered unattainable will equip us with the tools we will need to tackle the most ambitious global societal challenges that are facing us.

Key research expertise

Energy-aware computing


Computer architectures

Trustworthy systems


  • String algorithms
  • Time and space lower bounds
  • Complexity theory
  • Streaming algorithms
  • Randomised algorithms
  • Counting complexity
  • Constraint satisfaction problems
  • Algorithms for dynamic data
  • Algorithmic spectral graph theory

Programming Languages

  • Functional programming
  • Program analysis
  • Program synthesis
  • Verification
  • Security, cryptography, and programming languages
  • Semantics of programming languages
  • Type theory and foundations

Quantum technologies

  • Quantum communications
  • Quantum sensing and metrology
  • Quantum computing
  • Quantum information theory

Research groups

Three people sat in front of a laptop with a whiteboard behind Work with us

Our Industrial Liaison Office helps you to develop research partnerships and engage with our students.

Centres for Doctoral Training

Edit this page