Henk Barendregt

Pieter Hendrik " Henk " Barendregt ( * 1947 in Amsterdam) is a Dutch mathematical logician. He is professor of foundations of mathematics and computer science at the Radboud University Nijmegen.

Barendregt studied at the University of Utrecht in Dirk van Dalen and Georg Kreisel and in 1971 cum laude doctorate. He was a post-doctoral fellow at Stanford University and then at the University of Utrecht. He was a visiting scientist at the Technical University of Darmstadt, ETH Zurich, in Siena, Kyoto and adjunct professor at Carnegie Mellon University. Since 1986 he has been professor in Nijmegen.

He dealt with the lambda calculus and type theory in the theory of programming languages ​​( lambda - cube ) and deals with automated proofs based on the AUTOMATH (Automated verification of mathematics ) project by Nicolaas Govert de Bruijn. He also looks at philosophical (about Buddhism ) and interdisciplinary with the problem of consciousness.

Barendregt is a member of the Netherlands Academy of Sciences (1997) and the Academia Europaea (1992). He was a Knight of the Order of the Netherlands Lion 2002.

In 2002 he was awarded the Spinoza Prize. In 2012 he was Lorentz Fellow.