Торстен Альтенкирх
Торстен Альтенкирх | |
|---|---|
 Торстен Альтенкирх в Шледорфе (2022) | |
| Альма-матер | Эдинбургский университет |
| Научная карьера | |
| Поля | Конструктивная математика Теория типов Теория гомотопических типов |
| Учреждения | Ноттингемский университет Институт перспективных исследований |
| Докторантура | Род Берстолл |
Торстен Альтенкирх ( / ˈ ɔː l t ən k ɜːr ʃ / AWL -tən-kursh , Немецкий: [ˈtɔʁstn̩ ˈʔaltn̩kɪʁç] ) — немецкий профессор компьютерных наук в Ноттингемском университете. [1] известен своими исследованиями в области логики , теории типов и теории гомотопических типов . Альтенкирх участвовал в специальном году 2012/2013 по одновалентным основам в Институте перспективных исследований . [2] В Ноттингеме он является сопредседателем Лаборатории функционального программирования вместе с Грэмом Хаттоном.
Образование [ править ]
Альтенкирх получил докторскую степень в Эдинбургском университете в 1993 году под руководством Рода Берсталла . [3]
Взносы [ править ]
Работы Альтенкирха включают: «Контейнеры» , «Язык программирования Epigram» и «Теория гомотопических типов: одновалентные основы математики» ( Книга HoTT ).
Альтенкирх также был гостем YouTube-канала Computerphile. [4]
Ссылки [ править ]
- ^ «Торстен Альтенкирх» .
- ^ «Участники программы» . 13 июля 2012 г.
- ^ Торстен Альтенкирх в проекте «Математическая генеалогия»
- ^ «Компьютерфил» . YouTube . Проверено 11 января 2017 г.
Внешние ссылки [ править ]
- Альтенкирха Персональная страница в Ноттингеме
- Новая страница Альтенкирха в Ноттингеме [1]
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
