news
May 2024 | Β π§βπ« teach Principles of Functional Programming summer semester |
---|---|
Apr 2024 | Β π receive an Honorable Mention for the Jane Street Graduate Research Fellowship |
Apr 2024 | Β π publish a preprint about viewing amortized analysis coalgebraically |
Feb 2024 | Β π₯ attend Poly at Work in Berkeley, CA |
Jan 2024 | Β π£οΈ present at POPL 2024 in London, UK |
Jan 2024 | Β π§βπ« develop Advanced Topics in Foundations of Programming Languages |
Jan 2024 | Β π publish Decalf: A Directed, Effectful Cost-Aware Logical Framework at POPL 2024 |
Jan 2024 | Β π publish a post about effect handlers on the Topos Institute blog |
Dec 2023 | Β π₯ attend Jane Street Programming Languages Colloquium in New York City, NY |
Sep 2023 | Β π publish a preprint about verifying joinable red-black trees in calf |
Sep 2023 | Β π publish Amortized Analysis via Coinduction at CALCO 2023 |
Aug 2023 | Β π₯ attend FRA3 in Berkeley, CA |
Jul 2023 | Β π₯ attend ACT 2023 at the University of Maryland |
Jul 2023 | Β π publish a preprint about directed type theory for ergonomic cost analysis in calf |
Jun 2023 | Β π£οΈ present at CALCO/MFPS 2023 at Indiana University Bloomington |
Jun 2023 | Β πΌ start work as a 2023 Summer Research Associate at the Topos Institute |
May 2023 | Β π₯ attend HoTT 2023 at Carnegie Mellon University |
May 2023 | Β π£οΈ present at NJPLS at the University of Pennsylvania |
Apr 2023 | Β π£οΈ give a talk at CMU PLunch: Coinduction and Amortized Analysis |
Mar 2023 | Β π publish a preprint about amortized analysis via coinduction in calf |
Feb 2023 | Β π£οΈ give a talk at CMU PLunch: Monads, Comonads, and Algebraic Effects |
Jan 2023 | Β π₯ attend POPL 2023 in Boston, MA |
Jan 2023 | Β π publish a post about domain theory on the Topos Institute blog |
Aug 2022 | Β π§βπ» start my PhD in the Computer Science Department at Carnegie Mellon University |
Jun 2022 | Β πΌ start work as a 2022 Summer Research Associate at the Topos Institute |
May 2022 | Β π complete my undergraduate degree at Carnegie Mellon University |
Apr 2022 | Β π receive the Mark Stehlik Introductory and Service Teaching Award |
Jan 2022 | Β π publish A Cost-Aware Logical Framework at POPL 2022 |