I am a PhD Student in Computer Science at the University of Oxford, supervised by Luke Ong. Until recently, I was also a Stipendiary Lecturer at Merton College, Oxford.

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. I am also a big fan of the Rust programming language and have contributed a few features to its compiler. This summer, I interned in the Kani team at AWS, which works on the verification of Rust programs.