news
Jun 2024 | 🗣️ present at MFPS 2024 in Oxford, UK |
---|---|
Jun 2024 | 📘 publish Amortized Analysis via Coalgebra at MFPS 2024 |
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 |