Ulrich Kohlenbach

Education

He graduated ("Abitur") from Lessing-Gymnasium (High School) in 1980 and completed his studies of mathematics, philosophy, and linguistics with a master degree ("Diplom") from the University of Frankfurt.

Career

In 1990, he received his Doctor of Philosophy under H. Luckhardt and passed his Habilitation ("venia legendi") in mathematics five years later at the University of Frankfurt. In 1998, he became an associate professor at the University of Aarhus in Denmark where he worked until 2004. Kohlenbach is now a full professor at the Technische Universität Darmstadt.

His research interests lie in the field of "proof mining" (see also ).

Works

• Other Work

  • Partial list of publications U. Kohlenbach (2008). Applied Proof Theory: Proof Interpretation and their Use in Mathematics (). Springer Verlag - Springer Monographs in Mathematics.