Henk Barendregt
Lógico holandés (nacido en 1947)
Henk Barendregt durante su visita a Praga en abril de 2012

Hendrik Pieter (Henk) Barendregt (nacido el 18 de diciembre de 1947 en Ámsterdam ) [1] es un lógico holandés , conocido por su trabajo en cálculo lambda y teoría de tipos .

Vida y obra

Barendregt estudió lógica matemática en la Universidad de Utrecht , donde obtuvo su maestría en 1968 y su doctorado en 1971, ambos con honores , bajo la tutela de Dirk van Dalen y Georg Kreisel . Después de un puesto postdoctoral en la Universidad de Stanford , enseñó en la Universidad de Utrecht .

Desde 1986, Barendregt ha impartido clases en la Universidad Radboud de Nijmegen , donde actualmente ocupa la Cátedra de Fundamentos de Matemáticas y Ciencias de la Computación. Su grupo de investigación trabaja en Matemáticas Interactivas Constructivas. También es profesor adjunto en la Universidad Carnegie Mellon de Pittsburgh (EE. UU.). Ha sido profesor visitante en Darmstadt , ETH Zürich , Siena y Kioto.

Barendregt fue elegido miembro de la Academia Europaea en 1992. [2] En 1997 Barendregt fue elegido miembro de la Real Academia de las Artes y las Ciencias de los Países Bajos . [3] El 6 de febrero de 2003 Barendregt recibió la Spinozapremie de 2002, el premio científico más importante de los Países Bajos. [4] En 2002 fue nombrado caballero de la Orden de los Países Bajos .

Barendregt recibió un doctorado honorario de la Universidad Heriot-Watt en 2015. [5]

Publicaciones seleccionadas

  • H. P. Barendregt (1984). El cálculo lambda: su sintaxis y semántica . Estudios de lógica y fundamentos de las matemáticas. Vol. 103. Ámsterdam: Holanda Septentrional. ISBN 0-444-87508-5.— Ver erratas
  • Y. Toyama; JW Klop ; HP Barendregt (1989). "Terminación para la suma directa de sistemas de reescritura de términos lineales por la izquierda (borrador preliminar)". En Nachum Dershowitz (ed.). Técnicas de reescritura y aplicaciones, 3.ª conferencia internacional, RTA-89 . LNCS . Vol. 355. Springer. págs. 477–491.
  • HP Barendregt (2001). "Computación y demostración (conferencia invitada)". En Middeldorp, A. (ed.). Rewriting Techniques and Applications, 12.ª conferencia internacional, RTA-01 . LNCS. Vol. 2051. Springer.
  • HP Barendregt, W. Dekkers y R. Statman (2013). Cálculo Lambda con tipos . Perspectivas en lógica. Prensa de la Universidad de Cambridge. ISBN 978-052-176-614-2.
  • HP Barendregt y G. Manzonetto (2022). Un satélite de cálculo lambda . Lógica matemática y fundamentos. Publicaciones universitarias. ISBN 978-1-84890-415-6.

Referencias

  1. ^ Erik Barendsen; Herman Geuvers; Venanzio Capretta; Milad Niqui, eds. (2007). Reflexiones sobre la teoría de tipos, el cálculo lambda y la mente: ensayos dedicados a Henk Barendregt con motivo de su 60.º cumpleaños. Universidad de Nijmegen. ISBN 978-90-9022446-6.Aquí: Prefacio, p.5
  2. ^ "Hendrik Barendregt". Academia Europaea. Archivado desde el original el 28 de marzo de 2019.
  3. ^ "Henk Barendregt". Real Academia de las Artes y las Ciencias de los Países Bajos. Archivado desde el original el 21 de mayo de 2020.
  4. ^ "Premio Spinoza NWO 2002". Organización Neerlandesa para la Investigación Científica. 5 de septiembre de 2014. Archivado desde el original el 3 de marzo de 2016 . Consultado el 30 de enero de 2016 .
  5. ^ "Graduaciones en el campus de Edimburgo - Noticias | Universidad Heriot-Watt de Edimburgo" www.hw.ac.uk . Consultado el 24 de marzo de 2016 .
  • Página de inicio de Barendregt
  • Perfil del autor en la base de datos zbMATH
Obtenido de "https://es.wikipedia.org/w/index.php?title=Henk_Barendregt&oldid=1238060126"