Jon Sterling

9225 Gates Hilman Center
School of Computer Science
Carnegie Mellon University
5000 Forbes Ave
Pittsburgh, PA 15213
j...@cs.cmu.edu

I am a doctoral student of Robert Harper at Carnegie Mellon University studying type theory, programming languages and semantics. Previously I received a B.A. in Linguistics from U.C. Berkeley. My interests include category theory, topos theory, formalization of mathematics, Assyriology, ancient languages and literature, Marxism-Leninism-Maoism and Mao Zedong Thought.

Research Projects

Teaching

Preprints

Lecture Notes, Tutorials

Other Activities

Together with my co-hosts David Christiansen and Darin Morrison, I helped create The Type Theory Podcast.