Henk Barendregt
BIO
Henk Barendregt è Professore Emerito di
Fondamenti della Matematica e dell’Informatica alla Radboud University
di Nijmegen (Olanda). I suoi lavori più conosciuti nella logica
matematica sono “Il calcolo Lambda, la sua sintassi e semantica” nel
1981 (pubblicato da Elsevier), e “Il calcolo Lambda con Tipi”,
pubblicato nel 2013 (da Cambridge University Press) (tradotti in russo e
cinese). Barendregt ha studiato meditazione Zen dal 1972 al 1979 con
Kobun Chino Roshi (1938-2002) in California, e meditazione Vipassana dal
1977 al 2006 con Phra Mettavihari (1942-2007) nei Paesi Bassi. Nel 2006
ha ricevuto la qualifica (con 13 altri studenti senior) per
l’insegnamento della meditazione Vipassana nello stile di Mahasi
Sayadaw. Barendregt ha ricevuto finanziamenti importanti per la ricerca
dall’Università di Nijmegen (1997), il prestigioso Premio Spinoza dalla
Fondazione Nazionale Olandese per la Scienza (NWO) nel 2002, dal 2012
‘distinguished Lorentz fellow” dell’Istituto Olandese di Studi Avanzati
(NIAS) e dell’Università di Leiden. Tali finanziamenti gli hanno
permesso di dirigere un gruppo di ricerca interdisciplinare che ha
lavorato alla comprensione scientifica della meditazione di
consapevolezza e ai suoi effetti neuropsicologici. Barendregt, Cavaliere
dell’Ordine del Leone Olandese, è membro dell’Academia Europaea, del
Koninklijke Hollandsche Maatschappij der Wetenschappen e dell’Accademia
Reale Olandese delle Scienze.
