Henk Barendregt at the Old Jewish Cemetery in Prague

Hendrik Pieter (Henk) Barendregt (born 18 December 1947, Amsterdam) is a Dutch logician, known for his work in

lambda calculus Lambda calculus (also written as ''λ''-calculus) is a formal system in mathematical logic for expressing computation based on function abstraction and application using variable binding and substitution. It is a universal model of computation ...

and type theory.

Life and work

Barendregt studied mathematical logic at Utrecht University, obtaining his master's degree in 1968 and his PhD in 1971, both ''

cum laude Latin honors are a system of Latin phrases used in some colleges and universities to indicate the level of distinction with which an academic degree has been earned. The system is primarily used in the United States. It is also used in some Sou ...

'', under Dirk van Dalen and

Georg Kreisel Georg Kreisel FRS (September 15, 1923 – March 1, 2015) was an Austrian-born mathematical logician who studied and worked in the United Kingdom and America. Biography Kreisel was born in Graz and came from a Jewish background; his family ...

. After a postdoctoral position at

Stanford University Stanford University, officially Leland Stanford Junior University, is a private research university in Stanford, California. The campus occupies , among the largest in the United States, and enrolls over 17,000 students. Stanford is consider ...

, he taught at Utrecht University. Since 1986, Barendregt has taught at Radboud University Nijmegen, where he now holds the Chair of Foundations of Mathematics and Computer Science. His research group works on Constructive Interactive Mathematics. He is also Adjunct Professor at

Carnegie Mellon University Carnegie Mellon University (CMU) is a private research university in Pittsburgh, Pennsylvania. One of its predecessors was established in 1900 by Andrew Carnegie as the Carnegie Technical Schools; it became the Carnegie Institute of Technology ...

, Pittsburgh, USA. He has been a visiting scholar at

Darmstadt Darmstadt () is a city in the States of Germany, state of Hesse in Germany, located in the southern part of the Frankfurt Rhine Main Area, Rhine-Main-Area (Frankfurt Metropolitan Region). Darmstadt has around 160,000 inhabitants, making it th ...

, ETH Zürich, Siena, and Kyoto. Barendregt was elected a member of Academia Europaea in 1992. In 1997 Barendregt was elected member of the

Royal Netherlands Academy of Arts and Sciences The Royal Netherlands Academy of Arts and Sciences ( nl, Koninklijke Nederlandse Akademie van Wetenschappen, abbreviated: KNAW) is an organization dedicated to the advancement of science and literature in the Netherlands. The academy is housed ...

. On 6 February 2003 Barendregt was awarded the Spinozapremie for 2002, the highest scientific award in the Netherlands. In 2002 he was knighted in the

Orde van de Nederlandse Leeuw The Order of the Netherlands Lion, also known as the Order of the Lion of the Netherlands ( nl, De Orde van de Nederlandse Leeuw, french: L'Ordre du Lion Néerlandais) is a Dutch order of chivalry founded by King William I of the Netherlands on ...

. Barendregt received an honorary doctorate from

Heriot-Watt University Heriot-Watt University ( gd, Oilthigh Heriot-Watt) is a public research university based in Edinburgh, Scotland. It was established in 1821 as the School of Arts of Edinburgh, the world's first mechanics' institute, and subsequently granted univ ...

in 2015.

Selected publications

* — Se
Errata
* * * *

References

External links

Barendregt's homepage

Author profile
in the database zbMATH {{DEFAULTSORT:Barendregt, Henk 1947 births Living people Dutch computer scientists Mathematical logicians Members of Academia Europaea Members of the Royal Netherlands Academy of Arts and Sciences Radboud University Nijmegen faculty Spinoza Prize winners Utrecht University alumni Scientists from Amsterdam Technische Universität Darmstadt faculty