Dr. Robbert Krebbers ontvangt de Nederlandse ICT Prijs 2026 voor zijn baanbrekende werk in programmeertaalonderzoek en softwareverificatie. Hij vertaalde diepgaande theoretische resultaten naar praktische, wereldwijd gebruikte tools, vooral het open-source framework Iris, met grote impact in wetenschap en industrie. De prijs omvat €50.000 en wordt uitgereikt door de Koninklijke Hollandsche Maatschappij der Wetenschappen met steun van IPN en COMMIT.
Dr. Robbert Krebbers is winnaar van de Nederlandse Prijs voor ICT-onderzoek 2026 vanwege zijn uitzonderlijke bijdrage aan programmeertaalonderzoek en softwareverificatie. Zijn onderzoek heeft theoretische diepgang gekoppeld aan praktische toepassing: een belangrijk voorbeeld is het open-source frame...
Krijg direct toegang tot alle AI-samenvattingen en features. Nu 50% korting op de eerste maand. Blijf op de hoogte van nieuwe ontwikkelingen met AI alerts en chat onbeperkt.
Deze samenvattingen zijn automatisch gegenereerd door AI. Controleer altijd de originele tekst voor de meest accurate informatie. Fouten gevonden? Neem contact op.
Dr. Robbert Krebbers neemt Nederlandse Prijs voor ICT-onderzoek 2026 in ontvangst
//www.nwo.nl/nieuws/dr-robbert-krebbers-neemt-nederlandse-prijs-voor-ict-onderzoek-2026-in-ontvangst
NWO - Nieuws
Als BeleidsRadar gebruiker krijg je toegang tot vergelijkbare documenten die relevant zijn voor dit beleidsstuk. Nu 50% korting op de eerste maand.