Ульрих Коленбах
Ульрих Коленбах | |
|---|---|
 Коленбах в Обервольфахе , 2011 г. | |
| Рожденный | 27 июля 1962 г. Франкфурт-на-Майне , Германия |
| Национальность | немецкий |
| Альма-матер | Университет Гете во Франкфурте |
| Известный | Доказательный майнинг |
| Награды | Премия Курта Гёделя за исследования (2011) |
| Научная карьера | |
| Поля | Математическая логика , теория доказательств |
| Учреждения | Технический университет Дармштадта |
| Докторантура | Хорст Лакхардт |
| Президент Ассоциации символической логики | |
| В офисе 2016–2018 | |
| Предшественник | Аласдер Уркарт |
| Преемник | Джулия Найт |
| Президент ДВМЛГ | |
| В офисе 2008–2012 | |
| Предшественник | Питер Кёпке |
| Преемник | Бенедикт Лион |
Ульрих Вильгельм Коленбах (родился 27 июля 1962 года во Франкфурте-на-Майне ) — немецкий математик и профессор алгебры и логики в Техническом университете Дармштадта . Его исследовательские интересы лежат в области доказательного майнинга . [1]
Коленбах был президентом Немецкой ассоциации математической логики и фундаментальных исследований в точных науках (DVMLG) с 2008 по 2012 год и президентом Ассоциации символической логики с 2016 по 2018 год.
Жизнь [ править ]
Он окончил («Abitur») Лессинг-гимназию (среднюю школу) в 1980 году и завершил изучение математики, философии и лингвистики с дипломом Гете Франкфуртского университета имени . Во время учебы он получил стипендию Studienstiftung des deutschen Volkes . В том же университете он получил степень доктора философии. в 1990 году под руководством Хорста Лукхардта и пять лет спустя получил степень доктора математики (venia Legendi). В 1996/1997 учебном году он был приглашенным доцентом Мичиганского университета . В 1997 году он стал доцентом Орхусского университета , где проработал до 2004 года. Сейчас Коленбах является профессором Технического университета Дармштадта . [2] [3]
Он женат на Габриэле Баль-Коленбах, от которой у него есть дочь.
В 2011 году он получил престижную премию Курта Гёделя за исследования Общества Курта Гёделя . [4] Он был приглашенным докладчиком на Международном конгрессе математиков 2018 года в Рио-де-Жанейро.
Ссылки [ править ]
- ^ У. Коленбах (2008). Прикладная теория доказательств: интерпретация доказательств и их использование в математике . Springer Verlag - Монографии Springer по математике. ISBN 978-3-540-77532-4 .
- ^ "коленб" . www2.mathematik.tu-darmstadt.de . Проверено 23 ноября 2019 г.
- ^ Биографические данные Ульриха Вильгельма Коленбаха
- ^ «Стипендии Гёделя» . товарищество.logic.at . Проверено 31 августа 2019 г.
Внешние ссылки [ править ]
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
 | Эта статья о немецком математике незавершена . Вы можете помочь Википедии, расширив ее . |