Theoretical Computer Science at Birmingham

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

These are some of our current research programmes, with a list of the main group members leading each activity:

  • Programming languages. Dan Ghica, Achim Jung, Paul Levy, Vincent Rahli, Uday Reddy, Noam Zeilberger
  • Verification and model checking. Dave Parker, Vincent Rahli, Eike Ritter
  • Higher category theory. Benedikt Ahrens, Martin Escardo, Eric Finster, Nicolai Kraus, Jamie Vicary
  • Homotopy type theory and constructive mathematics. Benedikt Ahrens, Martin Escardo, Eric Finster, Nicolai Kraus, Steve Vickers
  • String diagrams and graphical calculi. Miriam Backens, Dan Ghica, Jamie Vicary, Noam Zeilberger
  • Proof assistants. Benedikt Ahrens, Martin Escardo, Eric Finster, Dan Ghica, Nicolai Kraus, Vincent Rahli, Jamie Vicary
  • Topology and domain theory. Martin Escardo, Achim Jung, Steve Vickers
  • Game semantics. Dan Ghica, Paul Levy
  • Proof theory and logic. Anupam Das, Achim Jung, Uday Reddy, Noam Zeilberger
  • Quantum computation. Miriam Backens, Jamie Vicary
  • Philosophy of computation. Anupam Das, Achim Jung and Aaron Sloman
  • Algorithms and complexity. Miriam Backens, Rajesh Chitnis and Anupam Das.


The group organizes many regular events.

Mailing lists

To receive automatic seminar announcements by email, sign up at the seminar webpage.

If you are a group member, you may use the online form to subscribe to the theory group mailing list.

Joining the group

Several PhD students join the group each year. If you are interested in applying, make contact with a member of staff who is the best match for your research interests. If you're not sure who to email, you could send a message to Achim Jung with an outline of your interests. Funding is available for home and EU candidates.

The group is expanding, and we regularly hire new members of permanent staff. For information about recruitment, contact Achim Jung.



Honorary research fellows

PhD students

Past members

Updating this page

This page can be updated by issuing a pull request to the GitHub repository, or contacting the maintainer Jamie Vicary.