<p>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.</p>
<p>Loves functional programming and interactive theorem proving.</p>

Joshua Grosso