Prof. Henk Barendregt
Radboud University, Netherlands
Henk Barendregt (1947) occupies the chair of Foundations of Mathematics and Computer Science at Nijmegen University, The Netherlands. He studied at Utrecht University mathematical logic, obtaining his Masters in 1968 and his Ph.D. in 1971, both cum laude
, under Dirk van Dalen and Georg Kreisel.Aftera 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. Barendregt is known for his work in lambda_calculus and type_theory. Since 1986 he is professor at Nijmegen University, where he and his group work on Formal Mathematics, a technology based on the idea of AUTOmated verification of MATHematics program of N. G. de Bruijn. For a list of results see thepage of Freek Wiedijk. Since 01.01.2015 professor emeritus valedictory lecture. For some years Barendregt has been studying consciousness, see the MBM papers below.
Awards Barendregt was elected member of the Academia Europaea (1992), Koninklijke Hollandsche Maatschappij der Wetenschappen (1995) and the Royal Dutch Academy of Sciences (1997). In 1998 he obtained a generous seven year grant of the Board of Directors of Nijmegen university. In 2002 he was knighted in the Orde van de Nederlandse Leeuw
.BarendregtobtainedonFebruary6,2003theNWOSpinozaAward 2002, the highest scientific awardintheNetherlands.In2012heobtained the Distinguished Lorentz Fellowship, a joint prize by the Netherlands Institute of Advanced Studies and the Lorentz Center Leiden, organizing a workshop on Models of Consciousness and Clinical Implications.