I am a second-year Ph.D. Computer Science student at Cornell University. Currently, I'm working with Andrew Myers and Drew Zagieboylo on formalizing the compiler correctness of a security-focused hardware description language. 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.
I like programming languages and computer architecture!
Fall 2022 | Head TA | Data Structures and Functional Programming at Cornell University |
Spring 2022 | Head TA | Introduction to Compilers at Cornell University |
Fall 2020 | TA | Programming Languages and Logics at Cornell University |
Spring 2019 | TA | Discrete Structures at Cornell University |
Fall 2018 | TA | Discrete Structures at Cornell University |
prose:
2020 | CompCert: the Double-Edged Sword of Verification (Cornell Advanced Compilers) [post] |
presentations:
2020 | The Next 700 Compiler Correctness Theorems (Functional Pearl) by Daniel Patterson and Amal Ahmed (Cornell Summer PLDG) [slides] |
Semantic Code Search via Equational Reasoning by Varot Premtoon, James Koppel, and Armando Solar-Lezama (Cornell Fall PLDG) [slides] |