About
I am a Research Software Engineer in the RiSE group (opens in new tab). I joined MSR in October 2022, working on the Lean theorem prover (opens in new tab). My research broadly connects automated theorem proving to interactive theorem proving.