Hello! I am a PhD student at Northeastern University’s Khoury College of Computer Sciences, in the Programming Research Laboratory, where I conduct research in formal methods and programming languages. Right now, I am on internship with BedRock Systems, applying formal methods to real-world software infrastructure using the Coq theorem prover and the Iris logical framework.

Previously, I was a BS/MS student at the University of Washington’s Paul G. Allen School of Computer Science & Engineering, in the Programming Languages & Software Engineering research group, where I worked with Ras Bodik, Dan Grossman, John Leo, and Talia Ringer. As an undergraduate, I was honored to receive research recognition from the CRA and a Washington Research Foundation Fellowship. If you’d like to read more about my undergraduate research experience, an interview is available here.