![]() |
![]() |
University of Birmingham > Talks@bham > Theoretical computer science seminar > The linear operator semantics of probabilistic programs
The linear operator semantics of probabilistic programsAdd 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. This talk is included in these lists:
Note that ex-directory lists are not shown. |
Other listsAnalysis seminar Type the title of a new list here SERENE Group Seminar SeriesOther talksTBA TBA Life : it’s out there, but what and why ? TBA The tragic destiny of Mileva Marić Einstein Ultrafast Spectroscopy and Microscopy as probes of Energy Materials |