Patrick Lutz — Mathematics faculty at Michigan. Research: Most of my research is in computability theory and descriptive set theory (and their intersection.