Assistant Professor of Computer Science
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, and formal methods, and (symbolic) artificial intelligence.
See my publications.
I am broadly interested in applying formal methods to computational creativity, such as developing declarative programming languages for game design that widen the space of what's possible to prototype quickly and correctly. I also aim to make the act of creating formal models more accessible and relevant to experts in creative design, fiction writing, urban planning, policy creation, technical writing, and other domains, so that in turn, those experts may communicate their ideas and more effectively. I view language and interface design through the dual lenses of mathematics and human cognition.
For more information on current projects and opportunities for students, see the POEM Lab webpage.
Please read this before you email me.
Outside of NC State, you may also be interested in the research of Anne-Gwenn Bosser, who led the charge on applying linear logic to interactive storytelling.