Ulrich Kohlenbach

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