Runming Li

School of Computer Science
Carnegie Mellon University
Email: runmingl [at] cs [dot] cmu [dot] edu

Hi there,

I’m a graduate student in the Computer Science Department at Carnegie Mellon University. I’m a member of the PoP group at CMU, advised by Robert Harper. I study programming languages through the lens of type theory and category theory.

My current research focuses on a dependent type theory specialized for cost analysis called the Cost-Aware Logical Framework (calf). A complete bibliography of our group’s work on calf can be found here. My current research statement (as of December 2025) can be found here.

Previously I obtained my bachelor’s degree in computer science at CMU in 2023, majoring in Computer Science, with a concentration in Principles of Programming Languages.

Links:
LinkedIn | GitHub | Google Scholar | Semantic Scholar | CV

📄 Paper

Note: ACM digital library generates AI summaries for some of my papers. Such summaries are not written by nor endorsed by me or my co-authors.

Publications
Manuscripts

🧑‍🤝‍🧑 Collaborators

🎤 Talks/Posters

🧠 Mentorship

I am fortunate to mentor the following undergraduate students on their research projects.

🎓 Teaching

💼 Work Experience

🔧 Service