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
HPC
Computer architectures
Trustworthy systems
Algorithms
- 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
- High Performance Computing
- QET Labs
- Algorithms and Complexity
- Trustworthy Systems
- Programming Languages
Get in touch
Additional links
Work with us
Our Industrial Liaison Office helps you to develop research partnerships and engage with our students.