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