Matthijs Vákár -

Registered user since Wed 1 Nov 2017

Name: Matthijs Vákár

Affiliation: University of Oxford

Contributions

LAFI 2019	Invited Speaker of Invited talk: Connecting Probabilistic Programming Theory to Applications in Stan within the LAFI (né PPS)-track
POPL 2019	Author of A Domain Theory for Statistical Probabilistic Programming within the Research Papers-track
HOPE 2018	Author of A domain theory for statistical probabilistic programming within the HOPE 2018-track
PPS 2018	Author of The semantic structure of quasi-Borel spaces: algebra, logic, and recursion within the PPS 2018-track Author of Game Semantics for Probabilistic Programs within the PPS 2018-track
POPL 2018	Author of Denotational validation of higher-order Bayesian inference within the Research Papers-track