Chris Martens, Ph.D.
CV as of April 2016

Warning: this page might be out of date! As of July 2016, I'm a professor at North Carolina State University.

I got my Ph.D. with the Principles of Programming group in the Computer Science Department at Carnegie Mellon University, advised by Karl Crary and Frank Pfenning. I graduated in September 2015 with my thesis Programming Interactive Worlds with Linear Logic. After that, I did a postdoc with the Expressive Intelligence Studio at UC Santa Cruz.


I build executable formal models of interactive and playful systems. I use formal methods such as proof theory to build better programming languages and analysis tools for game design, storytelling, computational creativity, and generative methods. More specifically, my interests and past research include tools like logic programming, logical frameworks, dependent type systems, algebraic and categorical methods, and functional programming, applied to endeavors like interactive fiction authoring, story generation, game design sketching, AI for social simulation, game mechanic and level generation, dialogue modeling, music and recipe generation, and multi-agent systems.

I keep a blog about my research and experiences in academia.

My thesis project contains a programming language designing generative narratives and game mechanics called Ceptre. The language is based on forward-chaining linear logic programming, a declaratve way to describe state change and user interactions.

Thesis page | Project repo

Peer-Reviewed Papers

Talks and Workshop Submissions

Unpublished drafts and projects


Notes and Other Writing

Other Outputs