I am a postdoctoral researcher in the Programming Language Foundations Lab at ETH Zürich, led by Ralf Jung. Previously, I was a research scientist in the Probabilistic Computing Project at MIT until August 2026. Prior to that, I completed my PhD in Computer Science at the University of Oxford in December 2024, supervised by Luke Ong and Andrzej Murawski.
My research interests are in Programming Language Theory and Formal Verification, with a focus on two areas:
- Probabilistic Programming: I study how to express statistical models as programs, analyze their properties, and automate Bayesian inference efficiently. In particular, my PhD research developed techniques to analyze and verify properties of such probabilistic programs.
- Safe Systems Programming: I recently started working on understanding and verifying the formal foundations of the Rust programming language.
Besides my research, I have done a lot of teaching, part of it as a Stipendiary Lecturer. Furthermore, I'm interested in formal proof assistants (especially Lean). In the fall of 2023, I interned in the Dafny team at AWS to formally prove the correctness of probabilistic samplers for differential privacy. I am also a big fan of the Rust programming language and have contributed a few features to its compiler. In my free time, I like playing the board game Go (a.k.a. Weiqi or Baduk).