Sets in Homotopy Type Theory, at FOMUS: Foundations of Mathematics: Univalent Foundations and Set Theory (2016)

The space of measurement outcomes as a spectrum for non-commutative algebras, at QPL10

Tutorial: Computer Verified Exact Analysis, at CCA 2009

To my homepage