Chris Martens

Ph.D. candidate
Gates-Hillman Center 9005
(412) 268-5940
cmar...@cs.cmu.edu

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.

Research

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

Publications

Talks and Workshop Submissions

Unpublished drafts and projects

Past Teaching

Notes

Other things and people

Not Research


λx.x