Chris MartensAssociate Professor
Khoury College of Computer Sciences
College of Arts, Media, and Design
Ph.D. in Computer Science
Carnegie Mellon University
Email: c.martens at northeastern.edu
Office: Meserve 138 (Boston campus)
I am interested in the design of elegant computational abstractions for interactive and generative software, especially creative applications such as generative art and games. In particular, I study the design of rule systems in various incarnations: e.g., logics, games, policies/laws, generative algorithms, programming language specifications. I am interested in the mathematical and computational content of these rule systems -- that is, techniques that allow us to rapidly construct executable prototypes as well as carry out sound, machine-checked reasoning about their emergent behavior. I am also interested in the problem of theory induction, i.e., generating plausible operational rules (theories) from concrete observations (e.g. action model learning and inductive logic programming).
Towards these goals, I rely on and contribute to two main disciplinary foundations: Programming Languages (PL) and Generative Methods. Within PL, my work focuses on connections between logic and computer science, such as typed functional programming, logic programming, and proof assistants. Generative methods include practices from game development and art that involve specifying and exploring design spaces algorithmically; my work in this arena includes generative visual art, solver-aided design tools, procedural game generation (i.e. "program synthesis for games"), and computational models of narrative structure (e.g. narrative planning).
I am also increasingly interested in category-theoretic and algebraic formulations of program structure (particularly for interactive programs).
POEM (Students and Collaborators)
I am actively recruiting 1 or more Ph.D. students for Fall 2024 with strong background and interest in programming languages/formal methods. Please reach out if you plan to apply to work with me.
My research group, called POEM (Principles of Expressive Machines), currently consists of the following excellent people:
If you can't find a PDF here, please feel free to email me for it! You might also try my Google Scholar profile.
Probabilistic Logic Programming
Semantics For Procedural Content Generation.
Procedural Generation of Constructed Languages for Games.
Game Mechanics with Ceptre.
Consequences of Privacy Policies with Narrative Generation.
Enforcing Relationships Between Values in Value-Sensitive Agent
Chess Tactics from Player Games.
A Social Simulation Framework.
Evaluating a Casual Procedural Generation Tool for Tabletop
Role-Playing Game Maps.
Creativity Support Needs in Computationally Supported Creative
Explorable Formal Models of Privacy Policies and