Photo: Schmid, Renate, CC BY-SA 2.0 de, via Wikimedia Commons¹⁴

Ulrich Kohlenbach

German mathematician

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. His research interests lie in the field of proof mining.²

From Wikipedia’s article on Ulrich Kohlenbach (this version), CC BY-SA 4.0.

Born Jul 27, 1962.¹

About

Kohlenbach was president of the German Association for Mathematical Logic and for Basic Research in the Exact Sciences (DVMLG) from 2008 to 2012 and president of the Association for Symbolic Logic from 2016 to 2018.

From Wikipedia’s article on Ulrich Kohlenbach, shared under CC BY-SA 4.0.²

Companies

Association for Symbolic LogicChair 2016 to 2018¹³

Early life and education

Date not recordedGoethe University Frankfurt³

Career

Occupation: logician, university teacher, computer scientist, mathematician.^{7 8}

2016 to 2018Chair, Association for Symbolic Logic⁶
Date not recordedWorked at Technical University of Darmstadt^{4 5}

Personal life

BornJul 27, 1962, Frankfurt⁹
CitizenshipGermany¹⁰

Sources

The numbers on this page point here. Each one links to the record it came from.

1
WikidataUlrich Kohlenbach on Wikidata
2
WikipediaUlrich Kohlenbach on Wikipedia
3
WikidataUlrich Kohlenbach: education, on Wikidata
4
WikidataUlrich Kohlenbach: Worked at Technical University of Darmstadt, on Wikidata
5
WikidataWorked at Technical University of Darmstadt, as reported
6
WikidataUlrich Kohlenbach: Chair, Association for Symbolic Logic, on Wikidata
7
WikidataUlrich Kohlenbach: occupation, on Wikidata
8
Wikidataoccupation, as reported
9
WikidataUlrich Kohlenbach: place of birth, on Wikidata
10
WikidataUlrich Kohlenbach: citizenship, on Wikidata
11
WikidataUlrich Kohlenbach: Official website, on Wikidata
12
WikidataOfficial website, as reported
13
WikidataAssociation for Symbolic Logic, Chair
14
Wikimedia CommonsUlrich Kohlenbach photo by Schmid, Renate, CC BY-SA 2.0 de