Торстен Альтенкирх - Thorsten Altenkirch - Wikipedia
Торстен Альтенкирх | |
|---|---|
| Альма-матер | Эдинбургский университет |
| Научная карьера | |
| Поля | Конструктивная математика Теория типов Теория гомотопического типа |
| Учреждения | Ноттингемский университет Институт перспективных исследований |
| Докторант | Род Берстолл |
Торстен Альтенкирх (/ˈθɔːrsтаɪпˈɔːлтənkɜːrʃ/; Немецкий: [ˈTɔʁstn̩ ˈʔaltn̩kɪʁç]) это Немецкий Профессор компьютерных наук Ноттингемский университет[1] известен своими исследованиями в области логики, теория типов, и теория гомотопического типа. Альтенкирх был частью особого 2012/2013 года однозначные фонды на Институт перспективных исследований.[2] В Ноттингеме он является сопредседателем Лаборатории функционального программирования с Грэм Хаттон.
Образование
Альтенкирх получил докторскую степень в Эдинбургский университет под Род Берстолл.[3]
Взносы
Работа Альтенкирха включает: Контейнеры, Эпиграмма язык программирования и теория гомотопических типов: Univalent Foundations of Mathematics (Книга HoTT).
Альтенкирх также был гостем на YouTube-канале Computerphile.[4]
Рекомендации
- ^ "Торстен Альтенкирх".
- ^ «Участники программы».
- ^ Торстен Альтенкирх на Проект "Математическая генеалогия"
- ^ "Компьютерил". YouTube. Получено 11 января 2017.
внешняя ссылка
- Альтенкирх личная страница в Ноттингеме
- Новая страница Альтенкирха в Nottignham [1]
Авторитетный контроль  |
|---|