anjali pal

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