# Ulrich Kohlenbach > German mathematician **Wikidata**: [Q7879836](https://www.wikidata.org/wiki/Q7879836) **Wikipedia**: [English](https://en.wikipedia.org/wiki/Ulrich_Kohlenbach) **Source**: https://4ort.xyz/entity/ulrich-kohlenbach ## Summary Ulrich Kohlenbach is a prominent German mathematician and computer scientist specializing in mathematical logic and proof theory. He currently serves as a professor at the Technical University of Darmstadt and is recognized for his extensive research and mentorship within the fields of mathematics and computation. ## Biography - Born: July 27, 1962, in Frankfurt, Germany - Nationality: Germany - Education: Educated at Goethe University Frankfurt; Doctoral advisor Horst Luckhardt - Known for: Contributions to mathematical logic, proof theory, and the intersection of computer science and mathematics - Employer(s): Technical University of Darmstadt - Field(s): Mathematical logic, computer science, mathematics, algebra, and proof theory ## Contributions Ulrich Kohlenbach has made significant contributions to the formal study of mathematical logic and proof theory. His work bridges the gap between theoretical mathematics and computer science, focusing on how mathematical proofs can be analyzed through the lens of computation. As a researcher and university teacher at the Technical University of Darmstadt, he has authored numerous works indexed in major academic databases such as DBLP, zbMATH, and Google Scholar. Beyond his individual research, Kohlenbach has had a substantial impact on the academic community through his mentorship of doctoral students. He has supervised at least nine PhD candidates, including computer scientist Paulo Oliva (who completed his Ph.D. at Aarhus University in 2003), Philipp Gerhardy, and Angeliki Koutsoukou-Argyraki. His work is recognized internationally, maintained by initiatives such as WikiProject Mathematics, and documented across global authority files including the Library of Congress and the German National Library. ## FAQs ### Q: What are Ulrich Kohlenbach's primary areas of expertise? A: Ulrich Kohlenbach is an expert in mathematical logic, proof theory, and computer science. His research often explores the relationship between algebraic structures and computational logic. ### Q: Where is Ulrich Kohlenbach currently employed? A: He is a professor and university teacher at the Technical University of Darmstadt in Germany. ### Q: Who was Ulrich Kohlenbach's doctoral advisor? A: Kohlenbach completed his doctoral studies under the supervision of Horst Luckhardt at Goethe University Frankfurt. ## Why They Matter Ulrich Kohlenbach is a key figure in the field of proof theory, a branch of mathematical logic that treats proofs as formal mathematical objects. His work is vital for understanding the computational content of mathematical proofs, which has direct implications for computer science and the development of reliable software and algorithms. By training a significant number of doctoral students who have gone on to their own careers in computer science and mathematics, Kohlenbach has ensured the continued growth and rigor of these disciplines. His international presence, reflected in his numerous global identifiers and multilingual academic contributions, highlights his role as a leading authority in modern logic. ## Notable For * **Academic Mentorship:** Supervised numerous doctoral students including Paulo Oliva, Alexander P. Kreuzer, and Angeliki Koutsoukou-Argyraki. * **Interdisciplinary Research:** Bridging the fields of mathematical logic, algebra, and computer science. * **Institutional Leadership:** Long-term affiliation and teaching role at the Technical University of Darmstadt. * **Global Authority:** Indexed in major international databases including the Library of Congress, VIAF, and the Mathematics Genealogy Project. ## Body ### Academic Background and Education Ulrich Wilhelm Kohlenbach was born on July 27, 1962, in Frankfurt, Germany. He pursued his higher education at Goethe University Frankfurt, where he focused on mathematics and logic. He completed his doctoral work under the guidance of Horst Luckhardt (Mathematics Genealogy Project ID 27519). ### Professional Career and Fields of Work Kohlenbach is a German citizen and a career academic. He serves as a university teacher at the Technical University of Darmstadt. His professional activities are categorized under several specialized fields: * **Mathematical Logic:** The study of formal logic within mathematics. * **Proof Theory:** The analysis of the structure and computational content of mathematical proofs. * **Computer Science:** The study of computation and its applications. * **Algebra:** The study of mathematical symbols and the rules for manipulating them. ### Mentorship and Doctoral Supervision A significant aspect of Kohlenbach's career is his role as a doctoral advisor. His students have contributed to various sectors of mathematics and computer science. Notable students include: * **Paulo Oliva:** Ph.D. 2003, Aarhus University. * **Philipp Gerhardy** * **Branimir Zdravkov Lambov** * **Eyvind Martol Briseid** * **Jaime Gaspar** * **Alexander P. Kreuzer** * **Pavol Safarik** * **Daniel Körnlein** * **Angeliki Koutsoukou-Argyraki** ### International Recognition and Identifiers Kohlenbach's research is widely cited and cataloged globally. He is associated with several major academic and library identifiers: * **VIAF:** 31472533 * **GND:** 1143631900 * **ISNI:** 0000000116153173 * **ORCID/Google Scholar:** GTp--AEAAAAJ * **DBLP:** 63/2811 He is fluent in both German and English, and his work is maintained by the academic community through platforms like WikiProject Mathematics and various national libraries, including those in Israel, France, and the Netherlands. ## References 1. Virtual International Authority File 2. [Source](https://lmcs.episciences.org/page/editorial-board#Sankaranarayanan) 3. Czech National Authority Database 4. Mathematics Genealogy Project 5. International Standard Name Identifier 6. IdRef 7. National Library of Israel Names and Subjects Authority File