Bio

I’m a fourth year PhD student at the University of Washington Allen School of Computer Science & Engineering, and I’m advised by Dan Grossman. Recently, I have been exploring the budding field of proof engineering. I am interested in creating tools, whether they be software or programming languages, that are both elegant and actually useful. I am also passionate about lowering the boundaries to learning computer science for women, people of color, people with disabilities, and other under-represented groups, as well as for all people.

I am currently researching proof compilation. People often write proofs of source programs, but those source programs get compiled to low-level code. I am investigating ways of producing proofs of low-level code from the proofs of the source code, which would mitigate this problem.

Before I was at UW, I went to Wellesley College near Boston, MA where I double majored in computer science and mathematics, and worked with Lyn Turbak on analyzing millions of MIT App Inventor projects as well as some DSL design with Ben Wood. In the summer of 2019, I used program synthesis to upgrade ROS code with Ruben Martins.

In my free time, I enjoy hanging out with friends, drawing, arts and crafts, puzzles and board games, writing, and growing succulents. Since moving to Seattle, I’ve also gotten into biking around on the Burke-Gilman trail. Recently, I’ve been learning how to spin yarn, knitting, and crocheting.