Fabian Zaiser (Preferred)
Fabian Zaiser
Postdoc, Department of Brain and Cognitive Sciences, Massachusetts Institute of Technology
- Joined April 2023
Names
Emails
****@cs.ox.ac.uk (Confirmed)
, ****@gmail.com (Confirmed)
, ****@mit.edu (Confirmed)
Personal Links
Career & Education History
Postdoc
Department of Brain and Cognitive Sciences, Massachusetts Institute of Technology (mit.edu)
2025 – Present
PhD student
Department of Computer Science, University of Oxford (cs.ox.ac.uk)
2019 – 2024
Advisors, Relations & Conflicts
Expertise
interactive theorem proving
2025 – Present
autoformalization
2025 – Present
probabilistic programming
2019 – Present
formal verification
2019 – Present
programming language theory
2019 – Present
bayesian inference
2019 – Present