news
| Jan 2024 | 📘 publish Decalf: A Directed, Effectful Cost-Aware Logical Framework at POPL 2024 |
|---|---|
| Jan 2024 | 👥 attend POPL 2024 in London, UK |
| 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 my post 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 |