![Fabian Zaiser](https://pldi23.sigplan.org/getProfileImage/fabianzaiser/f28c0bc4-3cae-4212-8703-e6705fb6cd82/small.jpg?1711476886000)
Registered user since Mon 14 Dec 2020
Name:Fabian Zaiser
Affiliation:University of Oxford
Personal website: https://www.fabianzaiser.com
Research interests:Probabilistic Programming, Verification
Contributions
PLDI 2023-profile
View general profile
View general profile