Fabian Zaiser

Critic
DISC Type : C

Research Scientist at Massachusetts Institute of Technology

United States

Overview

Fabian Zaiser is a Research Scientist at MITs Probabilistic Computing Project, specializing in programming language theory and formal verification. A PhD graduate from the University of Oxford, his research focuses on advancing the analysis and verification of probabilistic programs. He previously worked at AWS on verification tools like Dafny-VMC and the Kani model checker for Rust.

Beyond academia, Fabian is a strong supporter of the Rust programming language and an active open-source contributor to its compiler. In his free time, he enjoys playing the board game Go.

He has received multiple awards for his work, including a Distinguished Paper Award at POPL 2025 for research on probabilistic programs.

Personality Overview

Critic

ROI Driven

Objective Thinker

They are quite likely to negotiate on pricing or other key terms.  They choose to analyze logically and value facts to emotions. They like to do things independently and don’t look for support from others.

Topics They Care About

Probabilistic Programming
His primary research focus at MIT and during his PhD, where he works on expressing statistical models as programs and automating Bayesian inference.
Formal Verification
A core research interest, demonstrated by his work at AWS on Dafny and Kani, tools designed to formally prove the correctness of software.
Rust Language
He is a vocal supporter of the Rust language and has made several open-source contributions to its compiler.

Media Appearances

Fabian has no verified media appearances

Work History

Research Scientist at Massachusetts Institute of Technology
9-2023 - 12-2023
Applied Scientist at Amazon Web Services (AWS)
1-2014 - 10-2022
Graduate Teaching Assistant at University of Oxford
6-2022 - 9-2022
Applied Scientist - Automated Reasoning at Amazon
10-2021 - 3-2022
Stipendiary Lecturer at Merton College, Oxford

Education

10-2019 - 12-2024
Doctor of Philosophy - PhD from University of Oxford
2018 - 2019
Master's degree from University of Oxford

More Information

Social Presence :

Prographics :

Exp : 8 Location : United States Job Level : N/A Designation : Research Scientist at Massachusetts Institute of Technology
URL has been copied!

Insights For Selling To Fabian

During A Call Or A Meeting

DO's

  • Be ready to answer many clarity-seeking questions and requests for information
  • Be formal and objective, they will appreciate it more
  • Use phrases like ‘expect X% improvement’, ‘data clearly shows’ etc.

DONT's

  • Don't give superficial answers, they are easily rattled by them
  • Do not use very emotional or colorful language
  • Avoid phrases like ‘trust me’, ‘others just love’ etc.

When Cold Calling

When Writing An Email

While Negotiating & Closing

    The secret to closing fast with Fabian is

  • Proven ROI, pricing and objective proof points are the factors that sway their decision.
  • Will you ever get a clear answer from Fabian

  • They are comfortable saying no if they are convinced that it is the correct decision.

Insights For Deal Planning

    How fast (or slow) will Fabian move?

  • They are neither the fastest nor the slowest decision makers, they are somewhere in the middle.
  • Can Fabian take some risk or not?

  • They can bear some risk if their analysis backs the decision.

You And Fabian

Personality Compatibility


Other Massachusetts Institute of Technology Employees

Explore more public profiles from related professionals at the same organization.

More Profiles

Discover additional public profiles from our index.

Search more profiles

Looking for someone else? Search here for anyone.

Or visit Humantic AI to know more.