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.

Foundations of Computation abstract image

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.

Research areas

Seminars, members and courses

FOX seminars

Group members

Courses/ modules

Find a PhD

Search for PhD opportunities at Sheffield and be part of our world-leading research.