About
I am a second-year PhD student in the PLSE group 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.
Publications
| OOPSLA 2023 |
Equality Saturation Theory Exploration à la Carte
|
Teaching
| Winter 2023 |
University of Washington CSE 505
Teaching Assistant Programming Languages |
| Spring 2017 |
Brown University CS 8
Teaching Assistant A First Byte of Computer Science |
| Fall 2016 |
Brown University CS 173
Head Teaching Assistant Programming Languages |
| Spring 2016 |
Brown University CS 195Y
Teaching Assistant Logic for Systems |
| Fall 2015 |
Brown University CS 17
Head Teaching Assistant Intro. Functional Programming |
| Spring 2014 |
Brown University CS 18
Teaching Assistant Intro. Object Oriented Programming |
| Fall 2014 |
Brown University CS 17
Teaching Assistant Intro. Functional Programming |
Service
| Spring 2023 |
PNW PLSE
Co-Chair |
Contact
Email: anjalip@cs.washington.edu
Github: ajpal