Chris Martens

Ph.D. candidate
Gates-Hillman Center 9005
(412) 268-5940
CV as of August 2014

I'm studying programming languages and logic in the Computer Science Department and Pure and Applied Logic Program at Carnegie Mellon University, advised by Karl Crary and Frank Pfenning.


I believe that formalisms are good not only for correctness but for expressiveness and creativity. My thesis project makes use of the formal ideas underlying the logical framework Celf to specify, test, and reason about systems of play, i.e. games.

In general I am interested in logical frameworks, dependent types, algebraic/categorical accounts of logic and type theory, interactive storytelling, interactive fiction, experimental game design, emergent/simulationist story worlds, functional programming, and logic programming.

Thesis proposal

Research blog


Talks and Workshop Submissions

Unpublished drafts and projects

Past Teaching

Notes and Other Writing

Other things and people

Not Research