I am a computer scientist. My research combines cognitive psychology and programming language theory to understand how people program, and to design better tools for programmers.
I am currently a postdoc at Brown University advised by Shriram Krishnamurthi , working on making Rust easier to learn. I completed my Ph.D. at Stanford University advised by Pat Hanrahan and Maneesh Agrawala . I will be on the academic job market in the 2023-24 cycle.
In my research I build theories and systems about programming. A theory tries to understand a concept in a simplified setting where its properties can be identified via logical or statistical analysis. A system applies theory to a real-world setting where unexpected constraints and engineering concerns influence the theory's application.