Runming Li


School of Computer Science
Carnegie Mellon University

Email: runmingl [at] cs [dot] cmu [dot] edu

Hi there,

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

Lately my research focuses on a dependent type theory specialized for cost analysis called the cost aware logical framework (calf).

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

Here are some links: LinkedIn, GitHub, Google Scholar.

Paper

Teaching

Work Experience

Talks

Service