I am a PhD Student in Computer Science at the University of Oxford, supervised by Luke Ong. Until March 2022, I was also a Stipendiary Lecturer at Merton College, Oxford.
My research interests are in Programming Language Theory and Formal Verification. More specifically, my PhD research is about Probabilistic Programming: expressing statistical models as programs and automating Bayesian inference on them. I want to advance the techniques to analyze and verify the properties of probabilistic programs.
You can find further information including publications and talks on my website fabianzaiser.com.
If you want to get in touch, you can contact me at fabian.zaiser "AT" cs.ox.ac.uk.