anjali pal

About

I am a first-year PhD student in the PLSE Lab at the University of Washington. I am advised by Zach Tatlock.

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.

Research

I work on Ruler, a framework that uses equality saturation to automatically infer small, expressive rulesets for a domain.

Teaching

Brown University

Contact

Email: anjalip@cs.washington.edu

Github: ajpal