Chris Martens

Ph.D. candidate
Gates-Hillman Center 9005
(412) 268-5940

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.

Current Teaching

In Spring 2014 I am teaching StuCo: Interactive Fiction.


Currently I am interested in formalizing reactive and interactive media. My tools of choice are proof theory and type theory, specifically as they pertain to logic programming, logical frameworks and specification languages. I believe that formalisms are good not only for correctness but for expressiveness and creativity.

Thesis proposal

Research blog


Talks and Workshop Submissions

Unpublished drafts and projects

Past Teaching


Other things and people

Not Research