Chris MartensAssociate ProfessorKhoury College of Computer Sciences College of Arts, Media, and Design Northeastern University Ph.D. in Computer Science Carnegie Mellon University Email: c.martens at northeastern.edu Office: Meserve 138 (Boston campus) Pronouns: they/them |
|
Research InterestsI am interested in elegant computational abstractions that support creative practices. Since I view programming and mathematics as creative practices, this is a purposefully broad scope, but my prior work has been situated in the context of game design, interactive narrative authoring, online governance (such as privacy policy development), and programming language specification. My goal is to enable practitioners in these domains to do two things: (1) rapid prototyping and idea generation that explores large design spaces; (2) sound informal reasoning about the computational content of designs that can be translated to formal, machine-checkable proof. 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 (dependently) typed functional programming, logic programming, and logical frameworks. 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 accounts of computation (particularly for interactive programs). At Northeastern, I am affiliated with the Programming Research Laboratory (PRL) and Games at Northeastern. POEM GroupMy research group, called POEM (Principles of Expressive Machines), includes the following students and collaborators:
Alumni
Teaching
Latest PublicationsIf 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.
Towards
Procedural Generation of Constructed Languages for Games.
Modeling
Game Mechanics with Ceptre.
Exploring
Consequences of Privacy Policies with Narrative Generation. Notes
ProjectsExplorable Formal Models of Privacy Policies and
Regulations. Curiosities |