Henk barendregt spinoza biography

Dutch logician (born 1947)

Hendrik Pieter (Henk) Barendregt (born 18 December 1947, Amsterdam)^[1] is a Dutch logician, known for his work in lambda calculus and type theory.

Amazon.com: Henk Barendregt: books, biography, latest update

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, under Dirk van Dalen and Georg Kreisel. After a postdoctoral position at Stanford University, 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.

Henk_Barendregt -

He is also adjunct professor at Carnegie Mellon University, Pittsburgh, US. He has been a visiting scholar at Darmstadt, ETH Zürich, Siena, and Kyoto.

Barendregt was elected a member of Academia Europaea in 1992.^[2] In 1997 Barendregt was elected member of the Royal Netherlands Henk Barendregt (born December 18, 1947), Dutch mathematician ...

TUB