Assistant Professor of Computer Science
I am an assistant professor in the Computer Science (CSC) Department at NC State, where I am affiliated with the Digital Games research group. My interests span artificial intelligence, programming languages, and formal methods.
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 art and expertise better to non-experts.
For more information on the research efforts I am leading on computational creativity and game design, 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.