Fabian Zaiser

Fabian Zaiser

Doctoral Student

Student, St Catherine's College

Room 347, Wolfson Building, Parks Road, Oxford OX1 3QD
United Kingdom

Themes:

• Programming Languages
• Foundations, Structures, and Quantum
• Automated Verification

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