Dr. Martens is affiliated with the Digital Games research group, and her interests span artificial intelligence, programming languages, and formal methods. She develops programming languages and analysis tools to facilitate co-creativity between humans and computers and to support insights about the dynamic behavior of interactive systems. 

Research Areas

  • Artificial Intelligence and Intelligent Agents
  • Computer and Video Games
  • Graphics, Human Computer Interaction, & User Experience
  • Software Engineering and Programming Languages


Ph.D. in Computer Science, 2015
Carnegie Mellon University

B.S. in Computer Science, 2008
Carnegie Mellon University


Proceduralist Readings, Procedurally
Chris Martens, Adam Summerville, Michael Mateas, Joseph Osborn, Sarah Harmon, Noah Wardrip-Fruin and Arnav Jhala
In proceedings of EXAG 2016.

Generating Abstract Comics
Chris Martens and Rogelio E. Cardona-Rivera
In proceedings of ICIDS 2016.

Programming Interactive Worlds with Linear Logic.
Chris Martens, Ph.D. thesis. 2015.

Ceptre: A Language for Modeling Generative, Interactive Systems.
Chris Martens.
In proceedings of AIIDE 2015.

Generative Story Worlds as Linear Logic Programs.
Chris Martens, João Ferreira, Anne-Gwenn Bosser, and Marc Cavazza.
In proceedings of INT 2014.

Linear Logic Programming for Narrative Generation.
Chris Martens, Anne-Gwenn Bosser, Joao F. Ferreira, and Marc Cavazza.
In proceedings of LPNMR 2013.