Chris MartensPh.D. candidate
CV as of January 2015
I studied programming languages and logic 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.
I am looking for tenure-track faculty positions to start Fall 2017. Please get in touch if your department is hiring in Programming Languages or Interactive Media!
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 page | Project repo | Research blog