Mark Liffiton does research in constraint systems, a class of problems that ranges from Sudoku puzzles to analyzing digital logic circuits to find costly errors.  He received his Ph.D. from the University of Michigan in Computer Science and Engineering in 2009.

Homepage: http://www.iwu.edu/~mliffito/