About Me
I'm an assistant professor of computer science at Illinois Wesleyan University. Previously, I was a graduate student in Karem Sakallah's group in Computer Science and Engineering at the University of Michigan.
This semester (Spring 2012), I'm teaching:
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 CAMUS, a tool for performing such analyses - source code is available for download. See my publications for more details.
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.