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 in making verification in interactive theorem provers easier through better proof engineering tools and practices, especially for proof maintenance. My goal is to develop a new generation of proof automation that helps proof engineers not only write, but also maintain proofs as the programs they verify change over time. 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 spring 2021. 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!