Ulrich Wilhelm Kohlenbach (born July 27, 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.
Born |
27 July 1962 (age 62) Frankfurt, Germany
|
Zodiac | Leo |
Tags | Add tag |