ヘンク・バレンドレヒト(Hendrik Pieter (Henk) Barendregt、 ) Here: Preface, p.5は、オランダの論理学者であり、ラムダ計算と型理論における業績で知られる。
生涯と業績 バレンドレヒトはユトレヒト大学で数理論理学を学び、ディルク・ファン・ダーレンとゲオルク・クライゼルの指導のもと、1968年に修士号を、1971年に博士号を取得した。スタンフォード大学での博士研究員を経て、ユトレヒト大学で教鞭をとった。
1986年以降、バレンドレヒトはラドバウド大学ナイメーヘンで教えており、現在は数学および計算機科学基礎論講座の教授職を務めている。彼の研究グループは構成的対話的数学(Constructive Interactive Mathematics)に取り組んでいる。また、アメリカ・ピッツバーグのカーネギーメロン大学の客員教授でもある。ダルムシュタット、チューリッヒ工科大学、シエナ、京都で客員研究員を務めた経験がある。
バレンドレヒトは1992年にアカデミア・エウロパエアの会員に選出された。1997年にはオランダ王立芸術科学アカデミーの会員に選出された。2003年2月6日、オランダで最高の科学賞である2002年度のスピノザ賞を受賞した。2002年にはオランダ獅子勲章のナイトに叙された。
2015年にはヘリオット・ワット大学から名誉博士号を授与された。
主な著作 — 正誤表も参照
脚注
外部リンク バレンドレヒトのホームページ 著者プロフィール(zbMATHデータベース)