ウルリッヒ・コーレンバッハ

ウルリッヒ・ヴィルヘルム・コーレンバッハ（1962年7月27日、フランクフルト・アム・マイン生まれ）は、ドイツの数学者であり、ダルムシュタット工科大学の代数学および論理学の教授である。彼の研究分野は証明マイニングである。^{[ 1 ]}

コーレンバッハは、2008年から2012年までドイツ数理論理学・精密科学基礎研究協会（DVMLG）の会長を務め、 2016年から2018年まで記号論理学会の会長を務めた。

彼は1980年にレッシング・ギムナジウム（高等学校）を卒業し、フランクフルト・ゲーテ大学で数学、哲学、言語学の学位を取得しました。在学中はドイツ国民研究財団から奨学金を受けました。同大学で1990年にホルスト・ルックハルトの指導の下博士号を取得し、5年後に数学の教授資格（venia legendi）を取得しました。1996/1997年度にはミシガン大学で客員助教授を務めました。1997年にオーフス大学の准教授となり、2004年まで同大学で勤務しました。現在、コーレンバッハはダルムシュタット工科大学の正教授です。^{[ 2 ] [ 3 ]}

彼はガブリエレ・バール＝コーレンバッハと結婚しており、彼女との間に娘がいる。

2011年、彼はクルト・ゲーデル協会の権威あるクルト・ゲーデル研究賞を受賞した。^{[ 4 ]}彼は2018年にリオデジャネイロで開催された国際数学者会議に招待講演者として参加した。2024年には、エルンスト・ツェルメロ・リングの初代リングベアラーに選ばれた。^{[ 5 ]}

• ダルムシュタット工科大学のウルリッヒ・コーレンバッハの公式ウェブサイト