I am an undergraduate student in Computer Science at Cornell University. I am part of the Capra research group, where I research abstraction problems and profiling tools for the Calyx project, a compiler infrastructure for hardware accelerator generation. I am also a lead Teaching Assistant for CS 3410, Cornell's introductory systems class. I have TA'd for six semesters and was nominated for for the annual CIS TA award in 2025.

I am generally interested in programming languages and compilers. I am particularly drawn to applying PL and compilers techniques to systems problems, like hardware design. On the more theoretical side, I enjoy the following topics: language design and implementation, type systems, real analysis applied to type theory, formal verification, functional programming.

Outside of computer science, I teach for-credit outdoor courses with Cornell Outdoor Education, including cross-country skiing, backpacking, and canoe camping classes in the Adirondack Mountains. I enjoy spending time in the outdoors, skiing (alpine and cross-country), canoeing, and taking photographs with my Nikon D5500. I am also interested in comparative literature, and came close to finishing a minor on it at Cornell.