Ульрих Кохленбах

• Биография Ульриха Вильгельма Кохленбаха

  • Немецкий математик, профессор в Техническом университете Дармштадта 
  • Специализируется на доказательном майнинге 
  • Президент Немецкой ассоциации математической логики и фундаментальных исследований (DVMLG) и Ассоциации символической логики 

• Образование и карьера

  • Окончил гимназию Лессинга и Франкфуртский университет имени Гете 
  • Получил стипендию от Общества изучения немецкого народа 
  • Защитил докторскую диссертацию и прошел абилитацию 
  • Работал в Мичиганском университете и Орхусском университете 

• Личная жизнь

  • Женат на Габриэле Баль-Коленбах, есть дочь 
  • Получил престижную научную премию имени Курта Геделя 
  • Выступал на Международном математическом конгрессе 2018 года 

• Дополнительные сведения

  • Ссылки на официальный сайт и предложение о помощи Википедии в расширении статьи