I am a fourth-year undergraduate at UC Berkeley majoring in Mathematics & Computer Science. 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 Jane Street, where I modified the OCaml Flambda backend to apply tail-call optimization more precisely.
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. For Fall 2024, I am a TA for CS 164 [PL ∧ Compilers]. I will TA for CS 164 again in Spring 2025.
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 |
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