Videos of some of my talks


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