Ulrich Kohlenbach

Ulrich Wilhelm Kohlenbach (* July 27, 1962 in Frankfurt am Main) is a German professor of Mathematics and a researcher in Logic. He graduated ('Abitur') from Lessing-Gymnasium (High School) in 1980 and finished his study of mathematics, philosophy, and linguistics with the master degree ('Diplom') at the University of Frankfurt. Under H. Luckhardt, he received his Ph.D. in 1990 and passed his Habilitation ('venia legendi') in mathematics at the University of Frankfurt five years later. In 1998, he became an associate professor at the University of Aarhus in Denmark where he worked till 2004. Kohlenbach is now a full professor at the Technische Universität Darmstadt. He's married to Gabriele Bahl-Kohlenbach with whom he has a daughter.

He is one of the leading scientists in the "proof mining" research program(see also [cite book
title = Applied Proof Theory: Proof Interpretation and their Use in Mathematics (ISBN 978-3-540-77532-4)
author = U. Kohlenbach
publisher = Springer Verlag - Springer Monographs in Mathematics
year = 2008] ).

Partial list of publications

External links

[http://www.mathematik.tu-darmstadt.de/~kohlenbach Ulrich Kohlenbach's official website] at Technische Universität Darmstadt