
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 | Committee Member in Artifact Evaluation Committee within the Research Artifacts-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
Using general profile