Henk Barendregt is an Emeritus Professor and occupies the chair of Foundations of Mathematics and Computer Science at Nijmegen University, The Netherlands. He studied Mathematical Logic at Utrecht University, where he received his doctorate cum laude in 1971 under Dirk van Dalen en Georg Kreisel. After a Postdoc period at Stanford University, he held positions at Utrecht University and was visiting scholar at Darmstadt, Zürich (ETH), Siena and Kyoto, and adjunct professor at Carnegie Mellon University.
As a mathematician, Henk is known for his work in lambda_calculus and type_theory. His best known works in logic are “The Lambda Calculus, Its Syntax and Semantics” (1981, Elsevier), and “Lambda Calculus with Types” (2013, Cambridge University Press).
Henk has received the Spinoza Award in 2002 from the Dutch National Science Foundation (NWO). Given funds enabelled him to direct an interdisciplinary research group towards understanding Mindfulness meditation and its effects in neuropsychological terms.
Henk, 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.
Henk studied Zen Meditation from 1972 to 1979 with Kobun Chino Roshi in California. He studied Vipassana meditation from 1977 to 2006 with Phra Mettavihari. In 2006 he was qualified to fully teach Vipassana in the Mahasi style.
