LFCS Seminar: Tuesday 16th June: Shing Hin Ho

Tue, 16 Jun, 4.10pm

  Venue: IF G.03

Title:  A model of separation logic for Bayesian probability

 

Abstract: Recent work has explored the use of program logics to reason about probabilistic hyperproperties. In particular, measure-theoretic models of separation logic enable rigorous reasoning about randomised programs and are expressive enough for expectation/independence reasoning. In this talk, I will introduce the syntax and semantics of these logics and present a new model of probabilistic separation logic for Bayesian reasoning and probabilistic programming.