Summary
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.[1]
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 |
| Awards | Kurt Gödel Research Prize (2011) |
| 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 |
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.
Life edit
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. During his studies he received a scholarship from the Studienstiftung des deutschen Volkes. 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. In 1997, he became an associate professor at Aarhus University where he worked until 2004. Kohlenbach is now a full professor at the Technische Universität Darmstadt.[2][3]
He is married to Gabriele Bahl-Kohlenbach with whom he has a daughter.
In 2011, he received the prestigious Kurt Gödel Research Prize of the Kurt Gödel Society.[4] He was an invited speaker at the 2018 International Congress of Mathematicians in Rio de Janeiro.
References edit
- ^ U. Kohlenbach (2008). Applied Proof Theory: Proof Interpretation and their Use in Mathematics. Springer Verlag - Springer Monographs in Mathematics. ISBN 978-3-540-77532-4.
- ^ "kohlenb". www2.mathematik.tu-darmstadt.de. Retrieved 23 November 2019.
- ^ Curriculum vitae of Ulrich Wilhelm Kohlenbach
- ^ "Gödel Fellowships". fellowship.logic.at. Retrieved 31 August 2019.
External links edit
- Ulrich Kohlenbach's official website at Technische Universität Darmstadt