Videos of some of my talks

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