I am a PhD student in the Software Practices Lab at the University of British Columbia supervised by professor Alex Summers.
I am interested in formal software verification using program logics, particularly separation logic. Right now, I spend my time thinking about specification and verification of safe Rust programs that leverage interior mutability.
In May 2024, I graduated with a BSc from Tufts University, where I majored in Computer Science. At Tufts, I was a member of TuPL and TSP.
In my free time I cook, run, occasionally cross-country ski, build walkable cities in Minecraft, and rant about public transit to my friends and family.