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 2021 Extended abstract With Nicolai Kraus Submitted to TYPES 2021 Abstract GitHub
  2. Homotopy Type Theory in Isabelle 2021 12th International Conference on Interactive Theorem Proving arXiv GitHub
  3. An Implementation of Homotopy Type Theory in Isabelle/Pure 2018 Masters thesis University of Bonn arXiv
  4. The Temperley-Lieb categories and skein modules 2014 Honours thesis The Australian National University arXiv


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