Ulrich Kohlenbach itu apa sih?

Ulrich Wilhelm Kohlenbach () adalah seorang matematikawan Jerman dan profesor aljabar dan logika di Technische Universität Darmstadt. Peminatan risetnya adalah bidang proof mining.