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