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

CSC Spring Courses

  • CSC 582-001 LEC Interact Narrative   MW 6:00pm-7:15pm   Room: 2232 Engineering Building 3

  • CSC 582-601 LEC Interact Narrative      Room: Distance Education-Internet


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.