I am a PhD-track MSc student in the Software Practices Lab at the University of British Columbia supervised by professor Alex Summers.
I am generally interested in the design, implementation, and analysis of programming languages. I particularly enjoy functional programming, verification, type systems, and compilers. Right now I do research in program synthesis.
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 cross country ski in my home state of Washington, build walkable cities in Minecraft, and rant about public transit to my friends and family.