Hi, I'm Josh.
I'm interested in the big swath of mathematics encompassing category theory, logical foundations, and computer programs/proofs, with a particular bent towards homotopy type theory and univalent foundations.
Find me online elsewhere:
I was previously part of the SMART project at the Computational Logic group of the University of Innsbruck, investigating new object logics and hybrid type systems in the Isabelle proof assistant. Prior to that I studied mathematics at the University of Bonn and the Australian National University.