Strange Loop

September 26-28 2018


Peabody Opera House


St. Louis, MO

Puzzles, Problems, and Programs


Chris Martens

North Carolina State University

Chris Martens is an Assistant Professor at North Carolina State University, where she directs the Principles of Expressive Machines (POEM) Lab, a research group concerned with the intersection of logic, creativity, and computation. She borrows tools from type systems, programming language design, and proof theory to enable authorship of generative systems, interactive narratives, and system models. While a postdoc at UC Santa Cruz, she led efforts on the Gemini game generation engine, and during her PhD at CMU, she created the Ceptre linear logic programming language.