Fabian Zaiser in

Fabian Zaiser

Login to view DISC.
Research Scientist at Massachusetts Institute of Technology
📍 United States

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.

Read the full overview →
Experience
8 Years
Current Role
Research Scientist
Location
United States
Personality Overview

How Fabian shows up

Communication Style
Decision Approach
Work Preference

Behavioral traits and communication patterns that shape how this person evaluates opportunities, builds trust, and makes decisions in professional settings.

Login to view personality overview.
Priorities

Topics Fabian cares 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.
+5 more topics Login to view topics
Career

Work history

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

Media appearances

No media yetWe could not find public media appearances for this person.
Education
10-2019 - 12-2024
Doctor of Philosophy - PhD
University of Oxford
2018 - 2019
Master's degree
University of Oxford
Social presence
in
Behavioral profile

DISC profile (public)

DISC behavioral profile

Dominance, influence, steadiness, and calculativeness scores with guidance on how this person prefers to communicate and decide.

Login to view DISC.

Other Massachusetts Institute of Technology Employees

Explore more public profiles from related professionals.

FM
Frank Marley
Marketing Director
Massachusetts Institute of Technology
 Julia Keller
Julia Keller
Director Of Communications
Massachusetts Institute of Technology
 Molly Chase
Molly Chase
Communications Manager
Massachusetts Institute of Technology
 Julia Topalian
Julia Topalian
Director of GIft Administration and Recording Secretary
Massachusetts Institute of Technology

More profiles

Discover additional public profiles from our index.

Anne McElherne
Anne McElherne
Marketing Director
Shirley Ryan AbilityLab
 Megan Washburn
Megan Washburn
Executive Director, Communications
Shirley Ryan AbilityLab
 Shayleen Reynolds
Shayleen Reynolds
Director, AI Lead
NTT DATA
KR
Kim Roberts RN, BSN,CCM
Regional Marketing Director
Shirley Ryan AbilityLab
Unlock the full playbookSee exactly how to sell to Fabian. Free, 10 seconds.