I am a first-year PhD student in the Computer Science Department at Carnegie Mellon University. I am broadly interested in formal verification, security, and programming languages.

In 2022, I was a research assistant in the PLV group at MIT, supervised by Prof. Adam Chlipala. I worked on adding support for runtime metrics to the Bedrock2 compiler, as well as a model checker for the RISC-V memory model.

I graduated from Harvard in December 2021 with a concentration in Computer Science and a secondary in Mathematical Sciences. At Harvard, I worked with Prof. Stephen Chong and Dr. Shrutarshi Basu on verified compilation. Check out my undergrad thesis for more.

In summer 2019, I worked with Prof. KC Sivaramakrishnan at IIT Madras on adding sublinear algorithms to the Owl library for numerical and scientific computing in OCaml. Check out my blog post about it for more.