Chris Martens

Associate Professor
Khoury 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 Interests

I 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 mainly in the scope of representing and reasoning about rule systems. Rule systems show up in my work via games (rules as game mechanics), privacy policies (rules as governance documents), procedural design and data generation (rules as constraints and search directives), and inference rules defining programming languages (e.g. in the context of mechanizing metatheory).

My weapon of choice is the deep relationship between (constructive) logics and computation, via (1) logic programming and (2) type systems. This often means extrapolating interesting logics (e.g. substructural, epistemic, modal) into type systems and logic programming languages. Polarity and focusing pervade my thinking about type structure and language design. I believe in the broad potential of dependently-typed languages, largely because they blur the proof/program distinction.

At Northeastern, I am affiliated with the Programming Research Laboratory (PRL) and Games at Northeastern.

Teaching

Activities

  • Serving on the OOPSLA 2025 Review Committee
  • Organized NEPLS at Northeastern, September 2024

Selected Publications

If you can't find a PDF here, please feel free to email me for it! You might also try my Google Scholar profile.

Finite-Choice Logic Programming
Chris Martens, Robert J. Simmons, and Michael Arntzenius.
To appear in POPL 2025, Denver, CO, January 2025. (ArXiV | DOI)

Authoring Games with Tile Rewrite Rule Behavior Trees
Jiayi Zhou, Chris Martens, and Seth Cooper.
FDG 2024, Worcester, MA, May 2024.

Probabilistic Logic Programming Semantics For Procedural Content Generation.
Abdelrahman Madkour, Chris Martens, Steven Holtzen, Casper Harteveld and Stacy Marsella.
AIIDE 2023, Salt Lake City, Utah, October 2023.

Modeling Game Mechanics with Ceptre.
Chris Martens, Alexander Card, Henry Crain, and Asha Khatri.
In IEEE Transactions on Games, July 2023.

Additional publications

Projects

Explorable Formal Models of Privacy Policies and Regulations.
Funding source: NSF CAREER Award (2019-2024)
People: Emma Tosch, Luis Garcia, Chinmaya Dabral
Aims: We are developing techniques to represent privacy policies and regulations that are both formal and explorable, permitting users and policy crafters to answer 'what if'? questions about specific scenarios in addition to providing provable guarantees. We are formalizing privacy documents and scenarios using a relational programming model known as Answer Set Programming (ASP) as a lightweight semantic modeling framework, in which we have build a narrative planner that generates partial-ordered event structures from agent intentions and capabilities. We are augmenting ASP and narrative planning with support for answering queries, generating scenarios that reveal privacy loopholes, generating counterexamples to global correctness conditions, suggesting repairs for broken policies, and enabling the exploration of hypothetical scenarios by policy developers and users.

Past projects

Students and Collaborators

  • Emma Tosch, Ph.D. (research scientist, Northeastern University)
  • Luis Garcia (Ph.D. student, Northeastern University)
  • Chinmaya Dabral (Ph.D. student, NCSU)
  • Abhijeet Krishnan (Ph.D. student, NCSU; co-advised with Arnav Jhala)

Alumni

Notes

Curiosities