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 Technische Universität Darmstadt . Sus intereses de investigación se encuentran en el campo de la minería de pruebas . [1]
Kohlenbach fue presidente de la Asociación Alemana de Lógica Matemática e 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.
Se graduó ('Abitur') de Lessing-Gymnasium (High School) en 1980 y completó sus estudios de matemáticas , filosofía y lingüística con un diplomático de la Universidad Goethe de Frankfurt . Durante sus estudios recibió una beca de la Studienstiftung des deutschen Volkes . En la misma universidad, recibió su Ph.D. en 1990 bajo la supervisión de Horst Luckhardt y obtuvo su habilitación ('venia legendi') en matemáticas cinco años después. Durante el año académico 1996/1997 fue profesor asistente invitado en la Universidad de Michigan . En 1997, se convirtió en profesor asociado enUniversidad de Aarhus, donde trabajó hasta 2004. Kohlenbach es ahora profesor titular en la Technische Universität Darmstadt . [2] [3]
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 .