Harrison Grodin
I’m a third-year Ph.D. student in the Principles of Programming group in the Computer Science Department at Carnegie Mellon University, advised by Robert Harper. My research is focused on programming language semantics, drawing inspiration from ideas in type theory and category theory.
Currently, I am developing Calf, a dependent type theory for verifying the cost and behavior of algorithms and data structures. Central themes in this project are effects, phase distinctions, exact and inexact bounds, and parallelism.
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 |