Kohlenbach, Ulrich

Ulrich Kohlenbach is a Professor of Mathematics at TU Darmstadt (Germany). He is the coordinating editor of Annals of Pure and Applied Logic and the President of the Deutsche Vereinigung fur Mathematische Logik und fur Grundlagen der Exakten Wissenschaften.