Display photo

Josh Chen

I'm a first year Ph.D. student at the Functional Programming Lab of the University of Nottingham, advised by Nicolai Kraus. more


  1. Semisimplicial Types in Internal Categories with Families
    Extended abstract With Nicolai Kraus
  2. Homotopy Type Theory in Isabelle
  3. An Implementation of Homotopy Type Theory in Isabelle/Pure
    Masters thesis University of Bonn
  4. The Temperley-Lieb categories and skein modules
    Honours thesis The Australian National University


If we have been, or will be, at the same meeting, feel free to drop me a line and say hi!

  • Jul 17–18 Buenos Aires (Virtual)
  • Jun 29–Jul 1 Sapienza University of Rome (Virtual)
  • Jun 14–18 Leiden University (Virtual)
  • Apr 12–16 University of Sheffield (Virtual)