Hendrik Pieter (Henk) Barendregt (born 18 December 1947,
Amsterdam
Amsterdam ( , , , lit. ''The Dam on the River Amstel'') is the Capital of the Netherlands, capital and Municipalities of the Netherlands, most populous city of the Netherlands, with The Hague being the seat of government. It has a population ...
) 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 ...
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 foundat ...
.
Life and work
Barendregt studied
mathematical logic
Mathematical logic is the study of logic, 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 for ...
at
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 received ...
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
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 ...
.
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 D ...
, 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
(colloquially)
, former_name = eidgenössische polytechnische Schule
, image = ETHZ.JPG
, image_size =
, established =
, type = Public
, budget = CHF 1.896 billion (2021)
, rector = Günther Dissertori
, president = Joël Mesot
, ac ...
, 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
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 homepageAuthor profilein the database
zbMATH
zbMATH Open, formerly Zentralblatt MATH, is a major reviewing service providing reviews and abstracts for articles in pure mathematics, pure and applied mathematics, produced by the Berlin office of FIZ Karlsruhe – Leibniz Institute for Informa ...
{{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