معرفی
Ulrich Kohlenbach is a full professor of mathematics at Technische Universität Darmstadt, specializing in proof theory and its applications to nonlinear analysis, functional analysis, and computer science. He holds a PhD from Johann Wolfgang Goethe-Universität Frankfurt and a Habilitation from the same institution. His research focuses on extracting computational content from mathematical proofs, particularly in areas like fixed point theory and ergodic theory.
- Education:
- PhD (Dr. phil. nat.) in Mathematics, Goethe-Universität Frankfurt, 1990
- Habilitation (venia legendi), Goethe-Universität Frankfurt, 1995
- Visiting Assistant Professor, University of Michigan, 1996–1997
- Associate Professor, Aarhus University, 1997–2004
- Full Professor, TU Darmstadt, since 2004
Research Interests: Proof theory, computability theory, constructive mathematics, applications to nonlinear analysis, fixed point theory, and ergodic theory. His work combines logical methods with computational and analytical techniques to derive quantitative bounds from classical proofs.
Publications: Over 100 articles, including a monograph Applied Proof Theory: Proof Interpretations and their Use in Mathematics. Recent work focuses on proof mining in convex optimization, nonlinear ergodic theory, and fixed-point algorithms.
- Awards:
- Kurt Gödel Research Prize Fellowship (2011)
- Invited Speaker at ICM 2018 (Rio)
- Zermelo-Ring-Award (2024)
Grants & Leadership: Principal investigator of DFG projects KO 1737/5-2 (2013–2024) and KO 1737/6-2 (2024). Led the International Research Training Group 1529 (Mathematics Fluid Dynamics, 2013–2018). Served as President of the Association for Symbolic Logic (2016–2018).
