Second-year Ph.D. student in programming languages at Carnegie Mellon University. Did my undergrad at Caltech, BS '23 Computer Science. Ex-professional web developer.

Loves functional programming and interactive theorem proving.