Ulrich Kohlenbach

Ulrich Kohlenbach

Ulrich Wilhelm Kohlenbach (born July 27, 1962 in Frankfurt am Main) is a German professor of mathematics and a researcher in logic. His research interests lie in the field of proof mining.[1]

He graduated ('Abitur') from Lessing-Gymnasium (High School) in 1980 and completed his studies of mathematics, philosophy, and linguistics with a master's 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. He is an invited speaker at the 2018 International Conference of Mathematicians in Rio.


Partial list of publications

  1. ↑ U. Kohlenbach (2008). Applied Proof Theory: Proof Interpretation and their Use in Mathematics ( ISBN 978-3-540-77532-4). Springer Verlag - Springer Monographs in Mathematics. templatestyles stripmarker in |title= at position 74 (help)


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.