ajpal.github.io - Anjali Pal

home > domains > ajpal.github.io

Example domain paragraphs

About Research Teaching Service Contact 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 .

I work on Ruler , a framework that uses equality saturation to automatically infer small, expressive rulesets for a domain.

Links to ajpal.github.io (6)



© example3.com 2024