
About
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.
Research
I work on Ruler, a framework that uses equality saturation to automatically infer small, expressive rulesets for a domain.
Teaching
University of Washington
Role | Course Number | Course Title | Year |
---|---|---|---|
TA | CSE 505 | Programming Languages | Winter 2023 |
Brown University
Role | Course Number | Course Title | Year |
---|---|---|---|
TA | CS 8 | First Byte of Computer Science | Spring 2017 |
Head TA | CS 173 | Programming Languages | Fall 2016 |
TA | CS 195Y | Logic for Systems | Spring 2016 |
Head TA | CS 17 | Intro. Functional Programming | Fall 2015 |
TA | CS 18 | Intro. Object Oriented Programming | Spring 2015 |
TA | CS 17 | Intro. Functional Programming | Fall 2014 |
Contact
Email: anjalip@cs.washington.edu
Github: ajpal