Fabian Zaiser

Fabian Zaiser
Doctoral Student
Student, St Catherine's College
Room
347,
Wolfson Building,
Parks Road, Oxford OX1 3QD
United Kingdom
Interests
My main interests are programming languages and formal verification. In particular, I'm interested in probabilistic programming.
If you want to get in touch, you can contact me at fabian.zaiser "AT" cs.ox.ac.uk.