Strange Loop

September 26-28 2018

/

Stifel Theatre

/

St. Louis, MO

Register for 2018!

Puzzles, Problems, and Programs

TBD

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.