Hi! I'm a third-year undergrad studying Computer Science at the University of Washington.
My research interests lie broadly in programming languages. At UCLA, I work on discrete probabilistic programming projects, advised by Todd Millstein and Guy Van den Broeck and mentored by Poorva Garg. At the Univ. of Washington, I work on equality saturation projects, advised by Zachary Tatlock and mentored by Oliver Flatt and Yihong Zhang.
In industry, I've interned at Hudson River Trading, writing an LLVM optimization pass, at Instagram, adding features to and optimizing the COVID-19 Info Center, and at Cartogram.
I also enjoy reading (favorites: “Story of Your Life,” The Namesake, and Thinking, Fast and Slow), climbing, and competitive programming.
I welcome feedback on any topic here.