Chris Martens

Ph.D. candidate
CV as of January 2015

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 joined the department as a Ph.D. student in 2008, and I'm planning to graduate in 2015.

I am looking for a postdoctoral research position starting in 2015 or 2016. Please read more if you have such a position to offer!


In general, I'm interested in how we can use computational tools, such as proof theory, to better understand and create interactive rule systems. I place an emphasis on games and computational creativity, but I am broadly interested in modeling computational and scientific systems by way of logical rules. My prior experience spans logical frameworks, dependent types, algebraic/categorical accounts of logic and type theory, functional programming, logic programming, procedural generation, interactive fiction authoring, experimental game design, AI for social simulation, and emergent storytelling.

My thesis project is a programming language for the design of game mechanics. The language is based on forward-chaining linear logic programming, a way of declaratively describing state change. This methodology makes it feasible to encode generative rules that create procedural content for interactive simulations that give rise to emergent narratives.

The language semantics' basis in proof theory enables a structural understanding of these narratives, making it possible to analyze them for concurrent behavior among multiple agents. Ultimately, I imagine such a system as the basis for a kind of game sketching tool, usable for rapid testing and iterating upon designs.

thesis proposal | project repo | research blog

Peer-Reviewed Papers

Talks and Workshop Submissions

Unpublished drafts and projects

Past Teaching

Notes and Other Writing

Other Outputs

Other things and people