About
I am a third-year undergraduate majoring in Applied Mathematics & Computer Science at UC Berkeley. At Berkeley, I work on the Hydro Project in the Sky Computing Lab. I am interested in programming languages, type theory, compilers, and performance optimization.
Before starting college, I worked at Google (full-time) on search performance, hardware accelerators, and Arm servers. More recently, I interned at Discord, where I worked on native platforms and tooling. For summer 2024, I have accepted a software engineering internship offer at Jane Street.
I was a TA at JamCoders, a free summer camp that teaches introductory algorithms and computer science to Jamaican high schoolers. At Berkeley, I have been on course staff for CS 170 [Algorithms] in Spring 2022 and CS 61A [Intro to CS] in Spring 2023.
Education
- BA in Applied Mathematics & Computer Science
- – · University of California, Berkeley
- Classical Diploma
- – · Phillips Exeter Academy
Work
- Jane Street, Software Engineer Intern
- summer (future) · New York, NY
- Discord, Software Engineer Intern
- summer · San Francisco, CA
- Google, Software Engineer
- – · San Francisco Bay Area, CA
Research
Posts
| The "missing" graph datatype was invented in the '70s | |
| How does foldr/build elimination work? | |
| Binary search, revisited | |
| Binary search with confidence |
Design & 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