I am an assistant professor in the Computer Science (CSC) Department at NC State, where I direct the Principles of Expressive Machines (POEM) Lab. My interests span programming languages, automated reasoning (logic/symbolic AI), and computational media (digital games and interactive storytelling). Previously, I was a postdoc with the Expressive Intelligence Studio at UC Santa Cruz, and I did my Ph.D. in the Principles of Programming Group at CMU. My pronouns are they/them.
Website: https://sites.google.com/ncsu.edu/cmartens/home