Fabian Zaiser

Registered user since Mon 14 Dec 2020

Name: Fabian Zaiser

Affiliation: University of Oxford

Personal website: https://www.cs.ox.ac.uk/people/fabian.zaiser/

Research interests: Probabilistic Programming, Verification

Contributions

LAFI 2021 Author of Binary Tree Hamiltonian Monte Carlo within the LAFI 2021-track