| Jan 2026 | 🗣️ present at POPL 2026 in Rennes, France |
| Jan 2026 | 📘 publish Abstraction Functions as Types at POPL 2026 |
| Jul 2025 | 📝 publish a preprint about modular verification of algorithms and data structures |
| May 2025 | 📃 publish a post about amortized analysis and abstraction functions on the CMU CSD PhD blog |
| Apr 2025 | 🏆 receive the Alan J. Perlis Graduate Student Teaching Award |
| Dec 2024 | 📘 publish Amortized Analysis via Coalgebra in the Proceedings of MFPS XL |
| Dec 2024 | 🗣️ present at the Topos Institute Berkeley Seminar in Berkeley, CA |
| Jun 2024 | 🗣️ present at MFPS 2024 in Oxford, UK |
| 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 |
| 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 |