Henk Barendregt (1947) holds the chair of Foundations of Mathematics and Computer Science at Radboud University Nijmegen, The Netherlands, and is adjunkt professor at Carnegie Mellon University, Pittsburgh Pennsylvania, USA. He studied at Utrecht University mathematical logic, obtaining under 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. Barendregt is known for his work in lambda calculus and type theory. Since 1986 he is professor at Radboud University Nijmegen, where he and his group work on Constructive Interactive Mathematics.

In 2002 he was knighted in the Orde van de Nederlandse Leeuw. Barendregt obtained on February 6, 2003 the NWO Spinoza Award 2002, the highest scientific award in the Netherlands.

External links

• Henk Barendregt's homepage