Ulrich Wilhelm Kohlenbach (born 27 July 1962 in

Frankfurt am Main Frankfurt, officially Frankfurt am Main (; Hessian: , " Frank ford on the Main"), is the most populous city in the German state of Hesse. Its 791,000 inhabitants as of 2022 make it the fifth-most populous city in Germany. Located on it ...

) is a German mathematician and professor of

algebra Algebra () is one of the broad areas of mathematics. Roughly speaking, algebra is the study of mathematical symbols and the rules for manipulating these symbols in formulas; it is a unifying thread of almost all of mathematics. Elementary ...

and

logic Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from prem ...

at the

Technische Universität Darmstadt The Technische Universität Darmstadt (official English name Technical University of Darmstadt, sometimes also referred to as Darmstadt University of Technology), commonly known as TU Darmstadt, is a research university in the city of Darmstadt ...

. His research interests lie in the field of

proof mining In proof theory, a branch of mathematical logic, proof mining (or proof unwinding) is a research program that studies or analyzes formalized proofs, especially in analysis, to obtain explicit bounds, ranges In the Hebrew Bible and in the Old Test ...

. Kohlenbach was president of the German Association for Mathematical Logic and for Basic Research in the Exact Sciences (DVMLG) from 2008 to 2012 and president of the

Association for Symbolic Logic The Association for Symbolic Logic (ASL) is an international organization of specialists in mathematical logic and philosophical logic. The ASL was founded in 1936, and its first president was Alonzo Church. The current president of the ASL is ...

from 2016 to 2018.

Life

He graduated ('Abitur') from Lessing-Gymnasium (High School) in 1980 and completed his studies of mathematics, philosophy, and

linguistics Linguistics is the scientific study of human language. It is called a scientific study because it entails a comprehensive, systematic, objective, and precise analysis of all aspects of language, particularly its nature and structure. Ling ...

with a

diplom A ''Diplom'' (, from grc, δίπλωμα ''diploma'') is an academic degree in the German-speaking countries Germany, Austria, and Switzerland and a similarly named degree in some other European countries including Albania, Bulgaria, Belarus, ...

from the

Goethe University Frankfurt Goethe University (german: link=no, Johann Wolfgang Goethe-Universität Frankfurt am Main) is a university located in Frankfurt am Main, Germany. It was founded in 1914 as a citizens' university, which means it was founded and funded by the wealt ...

. During his studies he received a scholarship from the

Studienstiftung des deutschen Volkes The German Academic Scholarship Foundation (German: , or ''Studienstiftung'' for short) is Germany's largest and most prestigious scholarship foundation. According to its statutes, it supports "the university education of young people who, on ac ...

. At the same university, he received his Ph.D. in 1990 under the supervision of Horst Luckhardt and passed his

habilitation Habilitation is the highest university degree, or the procedure by which it is achieved, in many European countries. The candidate fulfills a university's set criteria of excellence in research, teaching and further education, usually including ...

('venia legendi') in mathematics five years later. During the academic year 1996/1997 he was a visiting assistant professor at the

University of Michigan , mottoeng = "Arts, Knowledge, Truth" , former_names = Catholepistemiad, or University of Michigania (1817–1821) , budget = $10.3 billion (2021) , endowment = $17 billion (2021)As o ...

. In 1997, he became an associate professor at

Aarhus University Aarhus University ( da, Aarhus Universitet, abbreviated AU) is a public research university with its main campus located in Aarhus, Denmark. It is the second largest and second oldest university in Denmark. The university is part of the Coimbra Gr ...

where he worked until 2004. Kohlenbach is now a full professor at the

. He is married to Gabriele Bahl-Kohlenbach with whom he has a daughter. In 2011, he received the prestigious Kurt Gödel Research Prize of the

Kurt Gödel Society The Kurt Gödel Society was founded in Vienna, Austria in 1987. It is an international organization aimed at promoting research primarily on logic, philosophy and the history of mathematics, with special attention to connections with Kurt Göde ...

. He was an invited speaker at the 2018

International Congress of Mathematicians The International Congress of Mathematicians (ICM) is the largest conference for the topic of mathematics. It meets once every four years, hosted by the International Mathematical Union (IMU). The Fields Medals, the Nevanlinna Prize (to be rena ...

in Rio de Janeiro.

References

External links

* at

Mathematical logicians 1962 births Living people 20th-century German mathematicians 21st-century German mathematicians Goethe University Frankfurt alumni Technische Universität Darmstadt faculty {{Germany-mathematician-stub