Hi! I'm a fourth-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 Jane Street, working on the OCaml compiler and a distributed monitoring system, 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 welcome feedback on any topic here.