Hispanopedia Wiki
Articulo de referencia

Thorsten Altenkirch

[[Type theory]] [[Homotopy type theory]]"},"workplaces":{"wt":"[[University of Nottingham]] [[Institute for Advanced Study]]"},"alma_mater":{"wt":"[[University of Edinburgh]]"},...

Hispanopedia WikiContenido en espanolLectura gratuita

Thorsten Altenkirch ( / ˈ ɔː l t ən k ɜːr ʃ / AWL -tən-kursh , alemán: [ ˈtɔʁstn̩ ˈʔaltn̩kɪʁç ] ) es un profesor alemán de Ciencias de la Computación en la Universidad de Nottingham [ 1 ] conocido por su investigación en lógica , teoría de tipos y teoría de tipos homotópicos . Altenkirch formó parte del año especial 2012/2013 sobre fundamentos univalentes en el Instituto de Estudios Avanzados . [ 2 ] En Nottingham codirige el Laboratorio de Programación Funcional con Graham Hutton.

Educación

Altenkirch obtuvo su doctorado en la Universidad de Edimburgo en 1993 bajo la dirección de Rod Burstall . [ 3 ]

Contribuciones

La obra de Altenkirch incluye: Containers , el lenguaje de programación Epigram y Homotopy Type Theory: Univalent Foundations of Mathematics ( The HoTT Book ).

Altenkirch también ha sido invitado al canal de YouTube Computerphile. [ 4 ]

Referencias

  1. ↑ "Thorsten Altenkirch" .
  2. ↑ "Participantes del programa" . 13 de julio de 2012.
  3. ↑ Thorsten Altenkirch en el Proyecto de Genealogía Matemática
  4. ↑ "Computerphile" . Consultado el 11 de enero de 2017 a través de YouTube.
  • Página personal de Altenkirch en Nottingham
  • La página más reciente de Altenkirch en Nottingham