| H.p. Barendregt |
Article Index for H.p |
Website Links For Henk |
Information AboutH.p. Barendregt |
| CATEGORIES ABOUT HENK BARENDREGT | |
| 1947 births | |
| barendregt, henk | |
| living people | |
| mathematical logicians | |
| barendregt | |
|
At Utrecht University he studied Mathematical Logic , obtaining his Masters in 1968 and his Ph.D. in 1971, both '' Cum Laude '', under Dirk Van Dalen and Georg Kreisel . After a postdoctoral period at Stanford University he held positions at Utrecht University and was a visiting scholar at Darmstadt, Zürich (ETH), Siena and Kyoto. Barendregt is known for his work in Lambda Calculus and Type Theory . In 2002 he was knighted in the Orde Van De Nederlandse Leeuw . Barendregt obtained on February 6, 2003 the NWO Spinoza Award 2002, the highest scientific award in the Netherlands. EXTERNAL LINK |
|
|