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.