Thorsten Altenkirch - Thorsten Altenkirch - Wikipedia

Thorsten Altenkirch
Alma materUniversity of Edinburgh
Vědecká kariéra
PoleKonstruktivní matematika
Teorie typů
Teorie typu homotopy
InstituceUniversity of Nottingham
Institut pro pokročilé studium
Doktorský poradceRod Burstall

Thorsten Altenkirch (/ˈθ.rstaɪnˈɔːlt.nk.rʃ/; Němec: [ˈTɔʁstn̩ ˈʔaltn̩kɪʁç]) je Němec Profesor informatiky na University of Nottingham[1] známý svým výzkumem logiky, teorie typů, a teorie homotopy. Altenkirch byl součástí zvláštního roku 2012/2013 univalentní základy na Institut pro pokročilé studium.[2] V Nottinghamu spolupředsedá Laboratoři funkčního programování Graham Hutton.

Vzdělání

Altenkirch získal titul PhD University of Edinburgh pod Rod Burstall.[3]

Příspěvky

Altenkirchova práce zahrnuje: Kontejnery, Epigram programovací jazyk a teorie typu Homotopy: Univalentní základy matematiky (Kniha HoTT).

Altenkirch byl také hostem na kanálu YouTube Computerphile[4]

Reference

  1. ^ „Thorsten Altenkirch“.
  2. ^ „Účastníci programu“.
  3. ^ Thorsten Altenkirch na Matematický genealogický projekt
  4. ^ "Computerphile". Youtube. Citováno 11. ledna 2017.

externí odkazy