Patrick Lutz

Patrick Lutz is an Assistant Professor in the Department of Mathematics at the University of Michigan. His research focuses on computability theory, descriptive set theory, and their intersection (effective descriptive set theory). He is particularly known for work on Martin's Conjecture, algorithmic randomness, and Borel/analytic equivalence relations.

Education:

• B.A., University of California, Berkeley (2016)
• Ph.D., University of California, Berkeley (2021)

Research Interests: Lutz explores foundational questions in mathematical logic, including failures of the Axiom of Choice and formal verification of mathematics. His work bridges philosophical questions with rigorous mathematical frameworks, emphasizing computability's role in logic and set theory.

Awards/Grants: No specific awards or grants mentioned in the text.

Advising/Teaching: While no specific advisees or grants are listed, his role as an Assistant Professor suggests involvement in graduate student mentorship and course instruction within the Mathematics Department.