Foundations of Computation at Sheffield (FOX)
Our main research theme concerns the mathematical foundations of computer science. The topics we are interested in include algorithms, computational complexity and combinatorics, logical methods, program semantics, hardware and software verification and interactive theorem proving.
Research topics in the FOX group range from the theoretical mathematical foundations that underpin computer science to their applications in real world contexts. FOX is one of the largest and most diverse research groups of its type in the UK.
Graph and approximation algorithms
Computational and logical complexity
Combinatorics and combinatorial optimisation
Logic and finite model theory
Program correctness and verification
Semantics and applied category theory
Interactive theorem proving
Find a PhD
Search for PhD opportunities at Sheffield and be part of our world-leading research.