Hoogleraar KUN ontvangt Spinoza-premie

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.

x

Om te kunnen beoordelen moet u ingelogd zijn:

Dit artikel delen:

Lees verder


Stuur dit artikel door

Uw naam ontbreekt
Uw e-mailadres ontbreekt
De naam van de ontvanger ontbreekt
Het e-mailadres van de ontvanger ontbreekt

×
×
article 2002-08-29T00:00:00.000Z Kim Loohuis
Wilt u dagelijks op de hoogte worden gehouden van het laatste ict-nieuws, achtergronden en opinie?
Abonneer uzelf op onze gratis nieuwsbrief.