Spinoza-premie deels voor Brouwer Instituut

Barendregt ontving de Spinozaprijs, een onderzoeksbudget van 1,5 miljoen euro, niet alleen voor zijn wetenschappelijk onderzoek, naar onder andere de lambda-calculus, maar ook omdat hij een inspiratiebron is voor anderen om zich met de wetenschap bezig te houden. De lambda-calculus vormt niet alleen de basis voor de programmeertaal Clean, maar heeft het ook mogelijk gemaakt om wiskundige bewijzen op de computer weer te geven. Met de schrijfwijzen van voorheen waren die bewijzen zo lang dat ze onhanteerbaar waren op de computer. Barendregt heeft een bijdrage geleverd om deze bewijzen sneller weer te geven en te controleren. Toegepast op de informatica, komt een groot praktisch nut van dat laatste om de hoek kijken. Systemen waarvan de veiligheid vroeger niet gegarandeerd kon worden, zoals een metronetwerk dat zonder bestuurders rijdt, komen dichter binnen ons bereik. Het zijn automatiseringssystemen die te groot en ambitieus zijn om eerst in de praktijk te testen, maar waarin nu vooraf met een grote mate van zekerheid fouten opgespoord kunnen worden met testmodellen op basis van de lambda-calculus. Dit wordt echter nog niet altijd gedaan. Barendregt zelf denkt dat op dat terrein, het controleerbaar en waterdicht maken van ingewikkelde systemen, de toegepaste lambda-calculus het langst doorwerkt.