About Me
New Job! (August 2009) I'm now an assistant professor at Illinois Wesleyan University over here.
This site will remain up, unchanged for at least a while longer.
I recently graduated with my PhD from Karem Sakallah's group in Computer Science and Engineering at the University of Michigan.
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 on the work.