Ulrich Kohlenbach
Ulrich Kohlenbach | |
|---|---|
Kohlenbach at Oberwolfach, 2011 | |
| Born | 27 July 1962 Frankfurt am Main, Germany |
| Nationality | German |
| Alma mater | Goethe University Frankfurt |
| Known for | Proof mining Higher-order reverse mathematics |
| Awards | Kurt Gödel Research Prize (2011) ICM Speaker (2018) Ernst Zermelo Ring (2024) |
| Scientific career | |
| Fields | Mathematical logic, proof theory |
| Institutions | Technische Universität Darmstadt |
| Doctoral advisor | Horst Luckhardt |
| President of the Association for Symbolic Logic | |
| In office 2016–2018 | |
| Preceded by | Alasdair Urquhart |
| Succeeded by | Julia Knight |
| President of the DVMLG | |
| In office 2008–2012 | |
| Preceded by | Peter Koepke |
| Succeeded by | Benedikt Löwe |
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.
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.