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

Spring Courses

  • CSC 281-001 LEC Interactive Game Design   MW 11:45am-1:00pm   Room: 434 Daniels Hall


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.