Select campus:UKDubai
University of Birmingham
Menu

Theory of Computation

We are one of the largest research groups in the world to focus on the logical and mathematical foundations of computer science. Much of our work uses techniques such as category theory, type theory, proof theory, topology, domain theory, and game semantics, which we apply to deep and conceptual questions in a broad range of areas.

Members of the Computational Theory group

Members of the Computational Theory group

Below are some of our current research programmes and the group members leading each activity:

  • Algorithms and complexity
    • Rajesh Chitnis, Anupam Das, Jakub Opršal, Sagnik Mukhopadhyay
  • Category theory
    • Benedikt Ahrens, Martín Escardó, Eric Finster, Dan Ghica, Sergey Goncharov, Paul Levy, Sean Moss, Jakub Opršal
  • Programming languages
    • Dan Ghica, Mirco Giacobbe, Achim Jung, Paul Levy, Sonia Marin, Sean Moss, Vincent Rahli, Uday Reddy
  • Proof theory and mathematical logic
    • Anupam Das, Achim Jung, Paul Levy, Sonia Marin, Uday Reddy
  • Topology and domain theory
    • Martin Escardo, Achim Jung, Steve Vickers
  • Type theory and constructive mathematics
    • Benedikt Ahrens, Martín Escardó, Eric Finster, Vincent Rahli, Steve Vickers
  • Verification and model checking
    • Mirco Giacobbe, Vincent Rahli, Eike Ritter

Meet the Team