Коленбах, Ульрих
У́льрих Вильге́льм Коленба́х (англ. Ulrich Wilhelm Kohlenbach; род. 27 июля 1962, Франкфурт-на-Майне, Дармштадт, Гессен, ФРГ) — немецкий математик, профессор алгебры и логики в Дармштадтском техническом университете. Известен исследованиями в области доказательного программирования и обратной математики высшего порядка.
Общие сведения
| Ульрих Коленбах | |
|---|---|
| Ulrich Kohlenbach | |
| Дата рождения | 27 июля 1962 (64 года) |
| Место рождения | |
| Страна | |
| Образование | |
| Род деятельности | математик |
| Награды и премии |
Исследовательская премия Курта Гёделя (2011) |
| Сайт | mathematik.tu-darmstadt.de/… (англ.) |
Биография
В 1980 году окончил гимназию имени Лессинга во Франкфурте. Изучал математику, философию и лингвистику во Франкфуртском университете имени Гёте, где получил диплом. Во время учёбы получал стипендию от Студенческого фонда немецкого народа. В 1990 году в том же университете получил степень доктора философии под руководством Хорста Лукхардта. Через пять лет прошёл хабилитацию по математике. В 1996—1997 учебном году работал приглашённым доцентом в Мичиганском университете. В 1997 году стал доцентом Орхусского университета, где работал до 2004 года. В настоящее время является профессором Дармштадтского технического университета[1][2].
С 2008 по 2012 год занимал пост президента Немецкого объединения математической логики и фундаментальных исследований точных наук (DVMLG). С 2016 по 2018 год был президентом Ассоциации символической логики. Его исследовательские интересы лежат в области доказательного программирования.
Женат на Габриэле Баль-Коленбах, имеет дочь.
В 2011 году получил престижную Исследовательскую премию Курта Гёделя от Общества Курта Гёделя[3]. В 2018 году был приглашённым докладчиком на Международном конгрессе математиков в Рио-де-Жанейро. В 2024 году стал первым обладателем кольца Эрнста Цермело[4].
