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

Graph and approximation algorithms

Andreas Emil FeldmannSagnik Mukhopadhyay, Joachim Spoerhase

Computational and logical complexity

Sagnik Mukhopadhyay, Joachim Spoerhase, Navid Talebanfard, Jonni Virtema, Maksim Zukhovskii

Combinatorics and combinatorial optimisation 

Andreas Emil Feldmann, Pietro Oliveto, Joachim Spoerhase, Maksim Zukhovskii

Logic and finite model theory

Mike Stannett, Jonni Virtema, Maksim Zhukhovskii

Program correctness and verification

Harsh Beohar, Kirill Bogdanov, John Derrick, Rob Hierons, Andrei Popescu, Georg Struth, Jonni Virtema, Charles Grellois

Semantics and applied category theory

Harsh Beohar, Andrei Popescu, Georg StruthCharles Grellois

Interactive theorem proving

Andrei Popescu, Mike Stannett, Georg Struth

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.