henk barendregt
Hendrik Pieter (Henk) Barendregt (nacido el 18 de diciembre de 1947, Ámsterdam ) [1] es un lógico holandés , conocido por su trabajo en cálculo lambda y teoría de tipos .
Barendregt estudió lógica matemática en la Universidad de Utrecht , obteniendo su maestría en 1968 y su doctorado en 1971, ambos cum laude , con Dirk van Dalen y Georg Kreisel . Después de una posición postdoctoral en la Universidad de Stanford , enseñó en la Universidad de Utrecht .
Desde 1986, Barendregt ha enseñado en la Universidad de Radboud Nijmegen , donde ahora 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 , Pittsburgh, EE. UU. Ha sido profesor invitado 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 Artes y Ciencias de los Países Bajos . [3] El 6 de febrero de 2003, Barendregt recibió el Spinozapremie de 2002, el premio científico más importante de los Países Bajos. [4] En 2002 fue nombrado caballero de la Orde van de Nederlandse Leeuw .
