I’m a third-year PhD student in the PLSE and UNSAT groups at the University of Washington, advised by Emina Torlak. My interest is in programming languages and formal methods.

Before joining grad school, I graduated from Brown University with an Sc.B. degree in CS, working with Shriram Krishnamurthi and Tim Nelson.

Publications[dblp dblp]