Skip to main content

Fabian Zaiser

Personal photo - Fabian Zaiser

Fabian Zaiser

Doctoral Student

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.

Supervisor