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 Abstract Talk Slides GitHub
    27th International Conference on Types for Proofs and Programs 2021
  2. Homotopy Type Theory in Isabelle
    12th International Conference on Interactive Theorem Proving 2021
  3. An Implementation of Homotopy Type Theory in Isabelle/Pure Masters thesis
    arXiv University of Bonn 2018
  4. The Temperley-Lieb categories and skein modules Honours thesis
    arXiv The Australian National University 2014


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

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