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.
Research areas
Graph and approximation algorithms
Computational and logical complexity
Navid Talebanfard, Jonni Virtema, Maksim Zukhovskii
Combinatorics and combinatorial optimisation
Andreas Emil Feldmann, 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 Struth, Charles Grellois