Mark Liffiton

About

I'm an associate professor in the computer science department at Illinois Wesleyan University.

Teaching

Spring 2024:

All past courses:

CS 111 - Physical Computing: 2015m 2012m
CS 127 - Computer Science I: 2017f 2016f 2014f 2013s 2012f 2011f 2011s 2010f 2009f
CS 128 - Computer Science II: 2023f 2022s
CS 253 - Software Development: 2022f 2021f 2020f 2019f 2018f 2016f
CS 256 - Computer Organization and Architecture: 2024s 2022s 2021s 2020s 2019s 2018s 2017s 2016s 2015s 2014s 2013s 2012s 2011s 2010s
CS 330 - Computer Networking: 2023f 2021f 2018f 2014f 2011f 2009f
CS 338 - Artificial Intelligence: 2012f 2010s
CS 354 - Algorithm Design and Analysis: 2022s 2018s 2017s 2016s 2015s 2014s 2013s 2011f 2010f 2009f
CS 355 - Programming Languages: 2023f 2022f
CS 370 - Special Topics: 2021s 2011s
CS 387 - Deep Learning: 2024s
CS 456 - Operating Systems: 2020s 2016s 2014s 2012s 2010s
CS/DS 125 - Intro. to Computer and Data Science: 2019s 2018f
GW 100 - Gateway: 2010f

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.