University of Cambridge > Talks.cam > Logic and Semantics Seminar (Computer Laboratory) > 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

  • UserFredrik Dahlqvist, UCL
  • ClockFriday 25 November 2022, 14:00-15:00
  • HouseSS03.

If you have a question about this talk, please contact Jamie Vicary.

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. If time permits, I will also mention some ongoing work on the operational semantics of probabilistic programs.

This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

© 2006-2024 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity