I am a PhD student in CS at Purdue University, studying compilers, program synthesis, and refinement types advised by Professors Ben Delaware.
During my undergrad at Cornell Univeristy, I worked in the APL reseach group on bringing the proposed Gallifrey Programming Language for distributed programming to life. I finished my time in Ithaca as a member of the Capra research group where I worked on designing a DSL for the CPU-GPU interface in Rust.
I have also interned at IBM Research working on NLP models for corpus conversion.
Occasionally I spend my free time(procrasinate) by adding features and tooling to the Bril(Big Red Intermediate Language) compiler ir.