University of Birmingham > Talks@bham > Theoretical computer science seminar > The linear operator semantics of probabilistic programs

The linear operator semantics of probabilistic programs

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact George Kaye.

Zoom details

Abstract

In this tutorial I will present a semantics for probabilistic programs in terms of linear operators. Mathematically, this is the natural universe in which to talk about probabilistic transition systems – both discrete and continuous – and it therefore makes sense to target this universe when defining a denotational semantics for probabilistic programming languages. I will describe how both higher-order functions and Bayesian inference can be interpreted in this framework. The focus of the tutorial will be on the discrete case which amounts to manipulating matrices, but I will also sketch some of the mathematics behind the general case. The linear operator semantics of probabilistic programs is originally due to Dexter Kozen, and the recent developments that I will describe in this talk are joint work with him too.

This talk is part of the Theoretical computer science seminar series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

Talks@bham, University of Birmingham. Contact Us | Help and Documentation | Privacy and Publicity.
talks@bham is based on talks.cam from the University of Cambridge.