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
Andreas Emil Feldmann, Sagnik 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, Andrew Lewis-Smith
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, Andrew Lewis-Smith, Charles Grellois