Ulrich Wilhelm Kohlenbach (nacido el 27 de julio de 1962 en Frankfurt am Main ) es un matemático alemán y profesor de álgebra y lógica en la Universidad Técnica de Darmstadt . Sus intereses de investigación se centran en el campo de la minería de pruebas . [1]
Kohlenbach fue presidente de la Asociación Alemana de Lógica Matemática y de Investigación Básica en Ciencias Exactas (DVMLG) de 2008 a 2012 y presidente de la Asociación de Lógica Simbólica de 2016 a 2018.
Kohlenbach se graduó en el Lessing-Gymnasium (escuela secundaria) en 1980 y completó sus estudios de matemáticas, filosofía y lingüística con un diploma de la Universidad Goethe de Frankfurt . Durante sus estudios recibió una beca de la Studienstiftung des deutschen Volkes . En la misma universidad, recibió su doctorado en 1990 bajo la supervisión de Horst Luckhardt y aprobó su habilitación ('venia legendi') en matemáticas cinco años más tarde. Durante el año académico 1996/1997 fue profesor asistente visitante en la Universidad de Michigan . En 1997, se convirtió en profesor asociado en la Universidad de Aarhus , donde trabajó hasta 2004. Kohlenbach es ahora profesor titular en la Technische Universität Darmstadt . [2] [3]
Está casado con Gabriele Bahl-Kohlenbach con quien tiene una hija.
En 2011, recibió el prestigioso Premio de Investigación Kurt Gödel de la Sociedad Kurt Gödel . [4] Fue orador invitado en el Congreso Internacional de Matemáticos de 2018 en Río de Janeiro.