Dr. Patrick Lutz

Biography

Patrick Lutz is an Assistant Professor at the University of Michigan, specializing in computability theory and descriptive set theory. He received his B.A. from the University of California, Berkeley in 2016 and completed his Ph.D. at the same institution in 2021. His research interests include computability theory, where he focuses on Martin's Conjecture, a long-standing open question concerning the special role of the halting problem in computability theory. Additionally, he has worked on algorithmic randomness and computable model theory, contributing significantly to the theory of Borel analytic equivalence relations. Lutz is interested in mathematical logic, particularly in questions that are philosophically motivated and contain substantial mathematical content. In the past, he has also explored topics such as the failures of the Axiom of Choice and formal verification in mathematics.

Research Interests