I am a second-year Ph.D. student at Cornell University. My research interests include programming languages, compilers, formal verification, and computer architecture. Currently, I'm working with Adrian Sampson and the Capra group on formalizing and verifying the Calyx compiler infrastructure.
As an undergraduate, I worked with Nate Foster and Eric Campbell on heterogeneous network formalisms to efficiently and correctly synthesize control plane operations for differing data planes.
presentations: