About
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 (Fall 2009), 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.