Theoretical computer science
Theoretical computer science focuses on the abstract, mathematical nature of computation.
Our areas of interest include automata theory, combinatorics, computational complexity, computability and randomness, design and analysis of algorithms, quantum information theory and unconventional models of computation.
Related research covers a range of subjects areas such as biology, data science, logic, and theoretical physics.