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

• Teaching Assistant - First Byte of Computer Science - Spring 2017
• Head Teaching Assistant - Programming Languages - Fall 2016
• Teaching Assistant - Logic for Systems - Spring 2016
• Head Teaching Assistant - Intro. Functional Programming - Fall 2015
• Teaching Assistant - Intro. Object Oriented Programming - Spring 2015
• Teaching Assistant - Intro. Functional Programming - Fall 2014

Contact

Email: anjalip@cs.washington.edu

Github: ajpal