- Semisimplicial Types in Internal Categories with Families 2021 Extended abstract With Nicolai Kraus Submitted to TYPES 2021 Abstract GitHub
- Homotopy Type Theory in Isabelle 2021 12th International Conference on Interactive Theorem Proving arXiv GitHub
- An Implementation of Homotopy Type Theory in Isabelle/Pure 2018 Masters thesis University of Bonn arXiv
- The Temperley-Lieb categories and skein modules 2014 Honours thesis The Australian National University arXiv
- 12th International Conference on Interactive Theorem Proving 2021 Jun 29–Jul 1 Rome (virtual)
- Midlands Graduate School in the Foundations of Computing Science 2021 Apr 12–16 Virtual
If we have been, or will be, at the same meeting, feel free to drop me a line and say hi!