Harrison Grodin

prof_pic.jpg

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.

news

May 2024   🧑‍🏫 teach Principles of Functional Programming summer semester
Apr 2024   🏆 receive an Honorable Mention for the Jane Street Graduate Research Fellowship
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

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