Thorsten Altenkirch ( / θ ɔr s t aɪ n ɔː l t ən k ɜr ʃ / ; alemán: [tɔʁstn̩ ʔaltn̩kɪʁç] ) es un alemán Profesor de Informática de la Universidad de Nottingham [1] conocido por su investigación sobre lógica , teoría de tipos y teoría de tipos de homotopía . Altenkirch fue parte del año especial 2012/2013 sobre bases univalentes en el Instituto de Estudios Avanzados . [2]En Nottingham, copreside el Laboratorio de programación funcional con Graham Hutton .
El trabajo de Altenkirch incluye: Contenedores , Epigram lenguaje de programación, y Homotopía Tipo Teoría: Fundamentos de Matemáticas univalentes ( El Libro HoTT ).