Theory of Computation offers a rigorous mathematical framework that underpins our understanding of what can be computed and how efficiently these computations may be performed. It encompasses ...

Explore the boundaries of computation. Our BA students may see themselves as scientists, wanting to learn computer science to aid in the process of scientific discovery. They may have an interest in ...

Research concerns the mathematical foundations of computer science. The topics we are interested in include algorithms, computational complexity and combinatorics, logical methods, program semantics, ...

Identify research insights to guide research strategy and grow your impact with our Nature Strategy reports. Actionable insights into research performance. Detailed analysis of strengths and ...