Harrison Grodin


I’m a Ph.D. student in the Computer Science Department at Carnegie Mellon University, advised by Robert Harper. My primary interests are programming languages, type theory, category theory, and logic.

I completed my undergraduate degree at Carnegie Mellon University in the School of Computer Science, with a major in Computer Science and an additional major in Logic and Computation, in the spring of 2022.


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

selected publications

  1. Decalf: A Directed, Effectful Cost-Aware Logical Framework
    Harrison GrodinYue NiuJonathan Sterling, and Robert Harper
    Proceedings of the ACM on Programming Languages, Jan 2024
  2. Amortized Analysis via Coinduction (Early Ideas)
    Harrison Grodin and Robert Harper
    In 10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023), Sep 2023
  3. A Cost-Aware Logical Framework
    Yue NiuJonathan SterlingHarrison Grodin, and Robert Harper
    Proceedings of the ACM on Programming Languages, Jan 2022