Ulrich Kohlenbach

Ulrich Wilhelm Kohlenbach (born 27 July 1962 in Frankfurt am Main) is a German mathematician and professor of algebra and logic at the Technische Universität Darmstadt.

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

At the same university, he received his Ph.D. in 1990 under the supervision of Horst Luckhardt and passed his habilitation ('venia legendi') in mathematics five years later.

During the academic year 1996/1997 he was a visiting assistant professor at the University of Michigan.

[4] He was an invited speaker at the 2018 International Congress of Mathematicians in Rio de Janeiro.