First-year Ph.D. student in programming languages at Carnegie Mellon University, advised by Karl Crary. Did my undergrad at Caltech, BS '23 Computer Science. Ex-professional web developer.
Loves functional programming and interactive theorem proving.