I am a senior at UC Berkeley majoring in Mathematics & Computer Science, advised by Max Willsey. I apply techniques from programming languages to model and reason about distributed systems. More generally, I am interested in semantics, logics, language design, and type theory.
Before starting college, I worked at Google (full-time) on search performance, hardware accelerators, and Arm servers. I was a TA at JamCoders, a free summer camp that teaches introductory computer science to Jamaican high schoolers. I run, and I sing tenor in UC Berkeley's Chamber Chorus.
- 2026-03:
- I will start my PhD in Fall 2026 at Princeton's programming languages group.
- 2026-02:
- I have been selected as a finalist for the 2026 Hertz Fellowship.
Research
Blog
| What is Type_equal for? | |
| The "missing" graph datatype was invented in the '70s | |
| How does foldr/build elimination work? | |
| Binary search, revisited | |
| Binary search with confidence |
Education
- BA in Mathematics & Computer Science
- – · University of California, Berkeley
- Classical Diploma
- – · Phillips Exeter Academy
Acknowledgements
The design for this website took inspiration from Slim Lim, Ink & Switch, and Mae Milano. The body typeface is Garamond Premier Pro, and titles use its display variant—I started using Garamond
after admiring how my Horace textbook was typeset. The sans-serif typeface is Futura PT, the monospace is Inconsolata, the Chinese characters are typeset in Adobe Kaiti, and the icons are from
Font Awesome. This website is
rendered ahead-of-time with Astro, using
MathJax to typeset