Henk Barendregt

Henk Barendregt (1947) studied Mathematical Logic in 1971 at Utrecht University, where he received his PhD cum laude in 1971 under Dirk van Dalen and Georg Kreisel. His best known works in logic are The Lambda Calculus, Its Syntax and Semantics (translated into Russian and Chinese), 1981, Elsevier, and Lambda Calculus with Types, 2013, Cambridge University Press.

HB.June2019
HB @ Zürich, June 2019

Henk Barendregt studied from 1972 to 1979 Zen meditation with Kobun Chino Roshi (1938-2002) in California, and from 1977 to 2006 Vipasssana meditation with Phra Mettavihari (1942-2007) in the Netherlands. In 2006 he was qualified with 13 other senior students to teach vipassana in the style of Mahasi Sayadaw.

Henk Barendregt has received substantial research funds from Nijmegen University (1997), the Spinoza award in 2002 from the Dutch National Science Foundation (NWO), and became in 2012 distinguished Lorentz fellow of the Netherlands Institute of Advanced Studies and Leiden University. Given funds enabeled him to direct an interdisciplinary research group towards understanding insight meditation and its effects in neuropsychological terms, see link Dhamma pages. Barendregt, Knight in the Order of the Nederlandse Leeuw (Dutch Lion), holds memberships of the Academia Europaea, the Koninklijke Hollandsche Maatschappij der Wetenschappen, and the Royal Dutch Academy of Sciences.