prof. dr. Henk Barendregt

Over Henk Barendregt

Prof. dr. Henk Barendregt studeerde wiskunde aan de Universiteit Utrecht, waar hij in 1971 zijn PhD behaalde op een proefschrift over lambda-calculus, een onderwerp in de wiskundige logica.

Na een postdoctoraal onderzoek aan de Stanford University bekleedde hij vaste posities aan de Universiteit Utrecht en gastposities in Darmstadt, Kyoto, Parijs, Pittsburgh, Siena, Wollongong en Zürich (ETH). Zijn monografie “The Lambda Calculus, its Syntax and Semantics”, Elsevier (1981), is vertaald in het Russisch en het Chinees. Sinds 1986 is hij professor aan de Radboud Universiteit Nijmegen, waar hij momenteel de leerstoel Fundamenten van Wiskunde en Informatica bekleedt. Hij is lid van de Academia Europaea (1992), Koninklijke Hollandsche Maatschappij der Wetenschappen (1995) en de Koninklijke Nederlandse Akademie van Wetenschappen (1997). In 2002 werd hij geridderd in de Orde van de Nederlandse Leeuw. Ook in 2002 ontving hij de NWO Spinoza prijs, de hoogste wetenschappelijke prijs in Nederland.

Parallel aan zijn activiteiten in de wiskundige logica heeft Barendregt een diepgaand begrip van Boeddhistische inzicht (mindfulness) meditatie en theoretische kennis over de aard van de menselijke geest ontwikkeld, waarbij hij van 1972 tot 1979 Zen-meditatie studeerde onder de Japanse monnik Kobun Chino, en Vipassana-meditatie van 1979 tot 2006 onder de Thaise monnik Phra Mettavihari. Sinds 2001 geeft Barendregt les in inzichtmeditatie, en in 2006 werd hij gekwalificeerd als inzichtleraar in de traditie van Mahasi Sayadaw. Barendregt’s interesses in wetenschap en meditatie hebben geleid tot de vernieuwing van het Han Fortmann Centrum voor Mindfulness aan de Radboud Universiteit Nijmegen, waar hij een multidisciplinaire onderzoeksgroep heeft opgericht die zich richt op klinisch, psychologisch en neurowetenschappelijk onderzoek naar mindfulness.

Barendregt heeft in veel landen wereldwijd lezingen gegeven: in Europa, Noord- en Zuid-Amerika, Australië, Azië, en recentelijk Afrika (Tunesië) over een diverse set van onderwerpen, waaronder wiskundige logica en mindfulness meditatie.