Title: A tutorial on quasi-Borel spaces
We have used Quasi-Borel spaces, a new mathematical structure, as a foundations of probabilistic programming and higher-order statistics. In this informal talk, I will introduce this alternative to traditional measure theory. We will cover the basic definition, and the constructions relevant tomodelling and verification.
Ohad is a Royal Society University Research Fellow at the University of Edinburgh's Laboratory for the Foundations of Computer Science (LFCS), where he also completed his PhD. His research revolves around programming language theory, and he's also interested in logic. So far, he has focused on computational e ffects and their relationship with other programming features. Recently he has also been interested in statistical probabilistic programming languages, for statistical modelling.