COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |

University of Cambridge > Talks.cam > Logic and Semantics Seminar (Computer Laboratory) > The linear operator semantics of probabilistic programs

## The linear operator semantics of probabilistic programsAdd to your list(s) Download to your calendar using vCal - Fredrik Dahlqvist, UCL
- Friday 25 November 2022, 14:00-15:00
- SS03.
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. ## This talk is included in these lists:- All Talks (aka the CURE list)
- Cambridge talks
- Computing and Mathematics
- Department of Computer Science and Technology talks and seminars
- Interested Talks
- Logic and Semantics Seminar (Computer Laboratory)
- SS03
- School of Technology
- Trust & Technology Initiative - interesting events
- bld31
- yk373's list
Note that ex-directory lists are not shown. |
## Other listsType the title of a new list here Think Green Team Presentations## Other talksResonant dispersive shock waves in nonlinear optics and shallow water waves On or Off? Interpreting episodic tremor during the Fagradalsfjall eruption 2021 Bad men, good men, and loving women: Gender Constructions in the UK’s Online Action Counters Terrorism (ACT) Campaign Solitary wave fission in dispersive hydrodynamics Gateway CCIMI Wave turbulence in homogeneous Bose gases |