I am a final-year PhD Student in Computer Science at the University of Oxford, supervised by Luke Ong and Andrzej Murawski.
My research interests are in Programming Language Theory and Formal Verification. More specifically, my PhD research is about Probabilistic Programming: expressing statistical models as programs and automating Bayesian inference on them. I want to advance the techniques to analyze and verify the properties of probabilistic programs.
Besides my research, I have done a lot of teaching in the past few years, 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.