Henk Barendregt, hoogleraar in de Grondslagen van de Wiskunde en de Informatica aan de Katholieke Universiteit Nijmegen, krijgt de Spinoza-premie 2002 voor zijn prestaties op het terrein van de wiskunde, logica en informatica.
De prijs wordt uitgereikt door de Nederlandse Organisatie van Wetenschappelijk Onderzoek en bedraagt 1,5 miljoen euro.
Barendregt verwierf zijn internationale bekendheid door baanbrekend werk op het gebied van de zogehetenlambdacalculus. De resultaten van zijn onderzoek zijn niet alleen van theoretisch belang voor de informatica, maar ook voor de ontwikkeling van nieuwe software die de betrouwbaarheid van computersystemen verhoogt.
De afgelopen vier jaar werkte Barendregt actief samen met onderzoekers van het Nijmeegs Institutut voor Cognitie en Informatie en het F.C. Donders Centrum aan modellen van het menselijk brein.