Dr. Robbert Krebbers heeft de Nederlandse Prijs voor ICT-onderzoek 2026 gewonnen voor zijn werk in softwareverificatie. Zijn open-source framework Iris heeft internationale impact. De prijsuitreiking vindt plaats tijdens NWO ICT.OPEN2026 in Rotterdam.
Dr. Robbert Krebbers, associate professor Software Science aan de Radboud Universiteit Nijmegen, is de winnaar van de Nederlandse Prijs voor ICT-onderzoek 2026. Krebbers wordt erkend voor zijn vermogen om theoretisch werk in programmeertalen om te zetten in praktische toepassingen, zoals het open-so...
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 ontvangt Nederlandse Prijs voor ICT-Onderzoek 2026 | NWO
//www.nwo.nl/nieuws/dr-robbert-krebbers-ontvangt-nederlandse-prijs-voor-ict-onderzoek-2026
Nwo.nl
Zoekt in alle beleidsdocumenten via AI search, net als op de chat pagina
Even geduld alstublieft
Als BeleidsRadar gebruiker krijg je toegang tot vergelijkbare documenten die relevant zijn voor dit beleidsstuk. Nu 50% korting op de eerste maand.