I am a first-year PhD student in the PLSE Lab at the University of Washington. Zach Tatlock is my advisor.
Prior to grad school, I was a software engineer. I spent one year at Google working on Android Maps and Cloud Storage Security & Privacy, then I worked at Code.org for three years, where I built block-based programming environments for K-12 students. Here is a link to my CV.
I work on Ruler, a framework that uses equality saturation to automatically infer small, expressive rulesets for a domain.
|Institution||Course Number||Course Title||Year|
|University of Washington||CSE 505||Programming Languages||Winter 2023|
|Brown University||CS 8||First Byte of Computer Science||Spring 2017|
|Brown University||CS 173||Programming Languages (Head TA)||Fall 2016|
|Brown University||CS 195Y||Logic for Systems||Spring 2016|
|Brown University||CS 17||Intro. Functional Programming (Head TA)||Fall 2015|
|Brown University||CS 18||Intro. Object Oriented Programming||Spring 2015|
|Brown University||CS 17||Intro. Functional Programming||Fall 2014|
|Brown University||Logic For Systems||SlideRule: A Domain-Specific Language for Rewrite Rule Inference Using Equality Saturation||Spring 2023|
|Brown University||Intro. Software Engineering||Dependency Migration in Practice||Spring 2022|
- PNW PLSE Co-Chair, 2023