Josh Chen

Hello! I'm a Ph.D. student at the Functional Programming Lab of the University of Nottingham, advised by Nicolai Kraus. +


  1. Semisimplicial Types in Internal Categories with Families
    Extended abstract Nicolai Kraus TYPES 2021
  2. Homotopy Type Theory in Isabelle
    Research paper ITP 2021
  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