Henk Barendregt (1947) studied mathematical logic at Utrecht University. He completed his PhD on Lambda Calculus under Dirk van Dalen and Georg Kreisel in 1971. During 1971-1972 he worked as Postdoc in Stanford University. From 1972-1986 he was assitant and associate professor at Utrecht University. From 1986-2012 he was professor of Foundations of Mathematics and Computer Science at Radboud University Nijmegen. In 2002 he received the Spinoza Award. Since 2013 he is Emeritus professor at Radboud university.