Who I am

I am a Ph.D candidate in computer science at the University of Washington focusing on Programming Languages and Software Engineering. My main interest is making it easier to maintain verified programs through better proof engineering technologies. To that end, I develop foundational results in dependent type theory, and use those results to drive the development of tools informed by the needs of real proof engineers. My vision is a future where verification is accessible to all programmers with the help of these technologies.
I am currently applying for faculty positions. I expect to graduate in June 2021. Here are my materials. I am interested in positions both in the US and abroad. Please reach out to me if you think I would be a good addition to your research group!