Chris MartensPh.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.
If your Games or Computational Media lab is hiring post-docs for Spring 2016 or later, please feel free to get in touch.
In general, I'm interested in how we can use computational tools, such as proof theory, to better understand and create complex rule systems — not limited to games, but with an emphasis on computational creativity. 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, and prove global properties about that behavior. Ultimately, I imagine such a system as the basis for a kind of game sketching tool, usable for rapid testing, proving, and iterating upon designs.
thesis proposal | project repo | research blog