Paris, March 9, 2017. Picture by Mark van Atten

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.
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. 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 the
page
of Freek Wiedijk. Since 01.01.2015 professor emeritus valedictory lecture.

For some years Barendregt has been studying consciousness, see the MBM papers below.

AwardsBarendregt 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 deNederlandse
Leeuw. Barendregt obtained on February 6, 2003 the NWO
Spinoza Award 2002, the highest scientific award in the
Netherlands. In 2012 he obtained 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.