Adam Ścibior -

Registered user since Tue 5 Sep 2017

Name:Adam Ścibior

Affiliation:University of Cambridge and MPI Tuebingen

Personal website: http://mlg.eng.cam.ac.uk/adam/

Contributions

2019

LAFI

Author of Strongly Typed Tracing of Probabilistic Programs (cancelled, alas) within the LAFI (né PPS)-track
Author of Model and Inference Combinators for Deep Probabilistic Programming within the LAFI (né PPS)-track

2018

ICFP

Author of Functional Programming for Modular Bayesian Inference within the Research Papers-track

POPL

Author of Denotational validation of higher-order Bayesian inference within the Research Papers-track

LAFI

Author of The semantic structure of quasi-Borel spaces: algebra, logic, and recursion within the PPS 2018-track

2017

LAFI

Author of Building inference algorithms from monad transformers within the PPS-track

2016

POPL

Author of Fabular: Regression Formulas as Probabilistic Programming within the Research Papers-track

LAFI

Blog Posts

Informal workshop on numerical programming in Haskell Sun 1 Oct 2017
Artificial Intelligence at ICFP Thu 7 Sep 2017