Who I am

Face Shot

I am a second year graduate student in computer science at the University of Washington focusing on Programming Languages and Software Engineering. I am also a research scientist intern with Byron Cook's formal methods research group at Amazon.

I'm interested in the connections and interactions between different modes of reasoning (Curry-Howard is a special case of this). Any work that unifies seemingly disparate ideas in PL will have me very excited. Appropriately, I'm drawn to both the type theoretic, constructive school of verification and the classical, SMT-based school of verification. I have a secondary interest in security.


Current Research

I am currently working with the Automated Reasoning Group at Amazon with Serdar Tasiran and Daniel Schwartz-Narbonne. I am using sketch-style program synthesis to generate tests for developers in a way that is flexible, powerful, and integrates easily into the development pipeline. As part of this work, I am extending Rosette to handle strings and regular expressions.

Stemming from this work, I have been looking into what it means to constrain your solution space and generate solutions that relate to each other in a specific way, or cover a certain space of your specification.

I have also been thinking extensively about how to implement a higher-order logic solver for dependent type theory. I would love to chat with anyone who is interested in the connections between logic and DTT.



I am a competitive runner and triathlete. I run for Club Northwest. I am also on the board. I occasionally write articles for Northwest Runner.

I am a mentor for the TUNE House, a living-and-learning community for undergraduate women in computer science at the University of Washington.

I am the writer and interviewer behind The Identity Function, a blog interview series about LGBTQ computer science researchers.

I enjoy singing and composing music for the piano.