Education
Barendregt studied mathematical logic at Utrecht University, obtaining his master"s degree in 1968 and his Doctor of Philosophy in 1971, both cum laude, under Dirk van Dalen and Georg Kreisel.
mathematician computer scientist
Barendregt studied mathematical logic at Utrecht University, obtaining his master"s degree in 1968 and his Doctor of Philosophy 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.
He is also Adjunct Professor at Carnegie Mellon University, Pittsburgh, United States of America. He has been a visiting scholar at Darmstadt, Eidgenössische Technische Hochschule Zürich, Siena, and Kyoto.
In 2002 he was knighted in the Orde van de Nederlandse Leeuw. Barendregt received an honorary doctorate from Heriot-Watt University in 2015.
Toyama, Y. and Klop, J.W. and Barendregt.
Royal Netherlands Academy of Arts and Sciences.
