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 to modelling and verification.
Bio: 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 effects and their relationship with other programming features. Recently he has also been interested in statistical probabilistic programming languages, for statistical modelling.