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 completed his studies of mathematics, philosophy, and linguistics with a master degree ('Diplom') from the University of Frankfurt. In 1990, he received his Ph.D. 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. He is married to Gabriele Bahl-Kohlenbach with whom he has a daughter.
His research interests lie in the field of "proof mining" (see also [1] ).
Partial list of publications
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
External links
<templatestyles src="Asbox/styles.css"></templatestyles>
 |
This article about a German mathematician is a stub. You can help Wikipedia by expanding it. |
