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
Publications
Co-Authors
- Adrian Weller
- Alexander K. Lew
- Andrzej S Murawski
- Andrzej S. Murawski
- C.-H. Luke Ong
- Cameron Freer
- Carol Mak
- Chih-Hao Luke Ong
- Ilia Sucholutsky
- Jacob Loader
- Jeck Lim
- Jonas Bayer
- Jose Hernandez-Orallo
- Joshua B. Tenenbaum
- Katherine M. Collins
- Lexin Zhou
- Luke Ong
- Mauricio Barba da Costa
- Peiyang Song
- Raven Beutner
- Romir Patel
- Shanda Li
- Shi-Zhuo Looi
- Simon Frieder
- Stefan Hougardy