About Me
I am a Ph.D. candidate in Computer Science at Harvard, specializing in programming languages, formal methods, and type systems. My research focuses on building programming and verification tools that can keep pace with ever-evolving software.
Some of the things I’ve worked on include: designing language features for modular and extensible programming, blending formal methods with LLMs to synthesize verified code, building tools that check whether programs in different languages actually do the same thing, and finding ways to make proof developments more maintainable. What unifies my work is the belief that safety and correctness guarantees should be built into the languages and tools that we use to create software.
I’m lucky to be advised by Prof. Nada Amin in the Metareflection Lab, and I’ve also spent two summers as an intern with the Automated Reasoning Group at AWS. These experiences have shaped my passion for collaborative, big-picture projects that push boundaries while keeping a sense of optimism.
Outside of work, you can find me on a scenic hiking trail (snacks required), wandering around small towns with my husband, or at home hanging out with my cats.
Research Experience
Publications
Education
Skills
Programming Languages
Scala • Java • Python • C# • OCaml • R
Software Engineering
Language Design • Abstraction Design • Modularity • Extensibility • Functional Programming • LLM-Assisted Program Synthesis
Formal Verification
Rocq • Dafny • Boogie • Z3 • Verified Software Toolchain (VST) • Automated Reasoning • Proof Evolution • Proof Synthesis