Mark Liffiton

About

I'm an associate professor and currently chair of the computer science department at Illinois Wesleyan University.

Teaching

Spring 2022:

All past courses:

I've collected and curated resources for my classes in CS Codex.

Research

My research is focused on analyzing infeasible constraint systems, specifically on extracting information that either points to "causes" of their infeasibility or indicates portions of a problem that are irrelevant to the conflict. Much of this work is implemented in MARCO and CAMUS, both tools for performing such analyses - source code is available for both. See my publications for more details.

Tools

Every now and then I make a small script or other program to scratch an itch. I collect these on the tools page in case others might find them useful as well.