Henk Barendregt at the Old Jewish Cemetery in Prague

Hendrik Pieter (Henk) Barendregt (born 18 December 1947,

Amsterdam Amsterdam ( , , , lit. ''The Dam on the River Amstel'') is the capital and most populous city of the Netherlands, with The Hague being the seat of government. It has a population of 907,976 within the city proper, 1,558,755 in the urban ar ...

) is a Dutch

logician Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from premises ...

, 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 th ...

and

type theory In mathematics, logic, and computer science, a type theory is the formal presentation of a specific type system, and in general type theory is the academic study of type systems. Some type theories serve as alternatives to set theory as a founda ...

Life and work

Barendregt studied

mathematical logic Mathematical logic is the study of formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic commonly addresses the mathematical properties of forma ...

Utrecht University Utrecht University (UU; nl, Universiteit Utrecht, formerly ''Rijksuniversiteit Utrecht'') is a public research university in Utrecht, Netherlands. Established , it is one of the oldest universities in the Netherlands. In 2018, it had an enrollme ...

, 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 Dirk van Dalen (born 20 December 1932, Amsterdam) is a Dutch mathematician and historian of science. Van Dalen studied mathematics and physics and astronomy at the University of Amsterdam. Inspired by the work of Brouwer and Heyting, he re ...

and Georg Kreisel. 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 conside ...

, he taught at

. Since 1986, Barendregt has taught at

Radboud University Nijmegen Radboud University (abbreviated as RU, nl, Radboud Universiteit , formerly ''Katholieke Universiteit Nijmegen'') is a public research university located in Nijmegen, the Netherlands. The university bears the name of Saint Radboud, a 9th century ...

, 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 state of Hesse in Germany, located in the southern part of the Rhine-Main-Area (Frankfurt Metropolitan Region). Darmstadt has around 160,000 inhabitants, making it the fourth largest city in the state of Hesse ...

, ETH Zürich, Siena, and Kyoto. Barendregt was elected a member of

Academia Europaea The Academia Europaea is a pan-European Academy of Humanities, Letters, Law, and Sciences. The Academia was founded in 1988 as a functioning Europe-wide Academy that encompasses all fields of scholarly inquiry. It acts as co-ordinator of Europea ...

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 The Spinoza Prize ( nl, Spinozapremie) is an annual award of 2.5 million euro, to be spent on new research given by the Dutch Research Council (NWO). The award is the highest scientific award in the Netherlands. It is named after the philosopher ...

for 2002, the highest scientific award in the Netherlands. In 2002 he was knighted in the Orde van de Nederlandse Leeuw. 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 zbMATH Open, formerly Zentralblatt MATH, is a major reviewing service providing reviews and abstracts for articles in pure and applied mathematics, produced by the Berlin office of FIZ Karlsruhe – Leibniz Institute for Information Infrastruct ...

{{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