Matthijs Vákár -

Registered user since Wed 1 Nov 2017

Name:Matthijs Vákár

Affiliation:University of Oxford

Contributions

LAFI 2022	Committee Member in Program Committee within the The Seventh International Workshop on Languages for Inference-track
FHPNC 2021	Author of Reverse Automatic Differentiation for Accelerate (Extended Abstract) within the FHPNC 2021-track
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