Торстен Альтенкирх - Википедия - Thorsten Altenkirch

Торстен Альтенкирх
Альма-матерЭдинбургский университет
Научная карьера
ПоляКонструктивная математика
Теория типов
Теория гомотопического типа
УчрежденияНоттингемский университет
Институт перспективных исследований
ДокторантРод Берстолл

Торстен Альтенкирх (/ˈθɔːrsтаɪпˈɔːлтənkɜːrʃ/; Немецкий: [ˈTɔʁstn̩ ˈʔaltn̩kɪʁç]) это Немецкий Профессор компьютерных наук Ноттингемский университет[1] известен своими исследованиями в области логики, теория типов, и теория гомотопического типа. Альтенкирх был частью особого 2012/2013 года однозначные фонды на Институт перспективных исследований.[2] В Ноттингеме он является сопредседателем Лаборатории функционального программирования с Грэм Хаттон.

Образование

Альтенкирх получил докторскую степень в Эдинбургский университет под Род Берстолл.[3]

Взносы

Работа Альтенкирха включает: Контейнеры, Эпиграмма язык программирования и теория гомотопических типов: Univalent Foundations of Mathematics (Книга HoTT).

Альтенкирх также был гостем на YouTube-канале Computerphile.[4]

Рекомендации

  1. ^ "Торстен Альтенкирх".
  2. ^ «Участники программы».
  3. ^ Торстен Альтенкирх на Проект "Математическая генеалогия"
  4. ^ "Компьютерил". YouTube. Получено 11 января 2017.

внешняя ссылка