Alex Rice


I have just started my PhD at the University of Birmingham. I am working under the supervision of Jamie Vicary and Martin Escardo.


Email a.rice at
Office Address Room 218
School of Computer Science
University of Birmingham
B15 2TT
United Kingdom

About Me

I am working within the theory group at the School of Computer Science at the University of Birmingham. My main interest at the moment is in category theory, especially higher category theory though I am also interested in learning Homotopy Type Theory. I am currently working on the graphical proof assistant homotopy-io, which is based on the theory of associative n-categories.

Before starting my PhD I completed a 4-year integrated masters program in Mathematics and Computer Science at the University of Oxford. During this time I took courses including Category Theory (including theory of monoidal categories), Algebraic Topology, Homological Algebra, Logic, ZFC Set Theory, and Representation Theory.

I also enjoy playing with functional programming languages such as Haskell or Agda and am a user of Emacs and the Nixos Linux distribution.


  • I was a teaching assistant for "Advanced Functional Programming" (Autumn 2019)
  • I am a teaching assistant for "Logic and Computation" (Spring 2019)


I have attended the following events: