Оглавление
Ульрих Кохленбах
-
Биография Ульриха Вильгельма Кохленбаха
- Немецкий математик, профессор в Техническом университете Дармштадта
- Специализируется на доказательном майнинге
- Президент Немецкой ассоциации математической логики и фундаментальных исследований (DVMLG) и Ассоциации символической логики
-
Образование и карьера
- Окончил гимназию Лессинга и Франкфуртский университет имени Гете
- Получил стипендию от Общества изучения немецкого народа
- Защитил докторскую диссертацию и прошел абилитацию
- Работал в Мичиганском университете и Орхусском университете
-
Личная жизнь
- Женат на Габриэле Баль-Коленбах, есть дочь
- Получил престижную научную премию имени Курта Геделя
- Выступал на Международном математическом конгрессе 2018 года
-
Дополнительные сведения
- Ссылки на официальный сайт и предложение о помощи Википедии в расширении статьи
Полный текст статьи: