Henk Barendregt

Hendrik Pieter (Henk) Barendregt, born in Amsterdam on December 18, 1947, is a distinguished Dutch logician primarily recognized for his significant contributions to the fields of lambda calculus and type theory. He pursued his studies in mathematical logic at Utrecht University, where he earned both his master's degree in 1968 and his PhD in 1971, graduating with high honors. His academic career includes a postdoctoral position at Stanford University before he began teaching at Utrecht University. Since 1986, Barendregt has been a faculty member at Radboud University Nijmegen, where he currently holds the Chair of Foundations of Mathematics and Computer Science and leads a research group focused on Constructive Interactive Mathematics. Additionally, he serves as an adjunct professor at Carnegie Mellon University in Pittsburgh, USA. His international engagement is further marked by visiting scholar positions at institutions such as Darmstadt, ETH Zürich, Siena, and Kyoto. Barendregt's academic achievements have been widely recognized; he was elected as a member of Academia Europaea in 1992 and the Royal Netherlands Academy of Arts and Sciences in 1997. In 2002, he was honored with the Spinozapremie, the most prestigious scientific award in the Netherlands, and was also knighted in the Orde van de Nederlandse Leeuw in the same year. In 2015, Heriot-Watt University awarded him an honorary doctorate.