Hi, I'm Josh.
Find me online elsewhere:
I'm interested in the development of better logical foundations and interactive proof assistants for mathematics, with a particular bent towards homotopy type theory and univalent foundations.
Previously, I studied mathematics at the University of Bonn and the Australian National University. For my masters thesis I implemented a homotopy type theory object logic for Isabelle, while my bachelors thesis was on quantum algebra, TQFTs, and an application to invariants of topological manifolds.