Person. Ulrich Kohlenbach Professor of Mathematics · Technical University of Darmstadt · www2.mathematik.tu-darmstadt.de/~kohlenbach PhD advisorHorst Luckhardt PhD studentsPaulo Oliva PostdocsUlrik Buchholtz PhDGoethe University Frankfurt Master’sGoethe University Frankfurt