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