I am an incoming PhD student in Computer Science at Carnegie Mellon University. I graduated from Harvard in December 2021 with a concentration in Computer Science and a secondary in Mathematical Sciences. I am broadly interested in formal verification, security, and programming languages.

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

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.