CV

Education

MSc in Computer Science, Stanford University (Fall 2024 – Spring 2026)
- Relevant Coursework: domain-specific languages, program analysis and compiler optimizations, programming languages, automated reasoning, computational logic
BA in Mathematics, UC Berkeley (Fall 2019 – Spring 2023)
- Honors: highest honors in mathematics and general scholarship, recipient of the Dorothea Klumpke Roberts prize, Phi Beta Kappa

Research Associate, Topos Institute (June 2026 - Present)
- Advised by Evan Patterson
- Designed and implemented a DSL for specifying modal virtual double theories, extending Catcolab’s type-theoretic modeling module with custom categorical logics.
- Developed an accompanying type theory and formal semantics for fibrational modal VDCs as multicategorical algebraic theories.
Undergraduate Research Fellow, University of Chicago (Summer 2022)
- Advised by J. Peter May
- Conducted novel research in category theory, leading to the development of a theoretical framework for internalizing graded external monoidal products which unifies a number of constructions in stable homotopy theory (see Graded Monoidal Categories and Internalization).
- Used this framework to derive a common construction of both Day convolution and the smash product of S-modules, and recover formal properties of both products syntactically.