Henk Barendregt at the Old Jewish Cemetery in Prague

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

Amsterdam Amsterdam ( , ; ; ) is the capital of the Netherlands, capital and Municipalities of the Netherlands, largest city of the Kingdom of the Netherlands. It has a population of 933,680 in June 2024 within the city proper, 1,457,018 in the City Re ...

) is a Dutch

logician Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the study of deductively valid inferences or logical truths. It examines how conclusions follow from premises based on the structure of arg ...

, known for his work in

lambda calculus In mathematical logic, the lambda calculus (also written as ''λ''-calculus) is a formal system for expressing computability, computation based on function Abstraction (computer science), abstraction and function application, application using var ...

and

type theory In mathematics and theoretical computer science, a type theory is the formal presentation of a specific type system. Type theory is the academic study of type systems. Some type theories serve as alternatives to set theory as a foundation of ...

Life and work

Barendregt studied

mathematical logic Mathematical logic is the study of Logic#Formal logic, formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory (also known as computability theory). Research in mathematical logic com ...

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

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

'', 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 s ...

. After a postdoctoral position at

Stanford University Leland Stanford Junior University, commonly referred to as Stanford University, is a Private university, private research university in Stanford, California, United States. It was founded in 1885 by railroad magnate Leland Stanford (the eighth ...

, he taught at

. Since 1986, Barendregt has taught at

Radboud University Nijmegen Radboud University (abbreviated as RU, , formerly ) is a public university, public research university located in Nijmegen, Netherlands. RU has seven faculties and more than 24,000 students. Established in 1923, Radboud University has consistentl ...

, 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, United States. The institution was established in 1900 by Andrew Carnegie as the Carnegie Technical Schools. In 1912, it became the Carnegie Institu ...

, Pittsburgh, US. 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 the ...

ETH Zürich ETH Zurich (; ) is a public university in Zurich, Switzerland. Founded in 1854 with the stated mission to educate engineers and scientists, the university focuses primarily on science, technology, engineering, and mathematics. ETH Zurich ra ...

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

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 (, KNAW) is an organization dedicated to the advancement of science and literature in the Netherlands. The academy is housed in the Trippenhuis in Amsterdam. In addition to various advisory a ...

. 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 (, ) is a Dutch honours system, Dutch order of chivalry founded by William I of the Netherlands on 29 September 1815. The Order of the Netherlands Lion wa ...

. Barendregt received an honorary doctorate from

Heriot-Watt University Heriot-Watt University () 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 was subsequently granted university status by roya ...

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 Infrastru ...

{{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 Academic staff of Radboud University Nijmegen Spinoza Prize winners Utrecht University alumni Scientists from Amsterdam Academic staff of Technische Universität Darmstadt