A tutorial on quasi-Borel spaces - Ohad Kammar (University of Edinburgh)

Date: 
Friday, March 22, 2019 | 2:00pm - 3:00pm
Location: 
ICCS246

Title: A tutorial on quasi-Borel spaces

Abstract:

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.  

Short 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 e ffects and their relationship with other programming features. Recently he has also been interested in statistical probabilistic programming languages, for statistical modelling.

a place of mind, The University of British Columbia

 

ICICS/CS Building 201-2366 Main Mall
Vancouver, B.C. V6T 1Z4 Canada
Tel: 604-822-3061 | Fax: 604-822-5485
General: help@cs.ubc.ca
Undergrad program: undergrad-info@cs.ubc.ca
Graduate program: grad-info@cs.ubc.ca

Emergency Procedures | Accessibility | Contact UBC | © Copyright The University of British Columbia