Softwareverificatie
Volgens de jury slaagt Krebbers erin diepgaand theoretisch werk te vertalen naar praktische, wereldwijd gebruikte tools voor softwareverificatie. Het open-source framework Iris, waarvan Krebbers medeleider is, heeft een enorme internationale impact in zowel de wetenschap als de industrie, wat wordt onderstreept door prestigieuze prijzen, grote subsidies en brede adoptie. Robbert Krebbers behoort tot de internationale top in programmeertalen en softwareverificatie.
Krebbers combineert diepgaande theorie, praktische impact, gemeenschapsopbouw en internationale erkenning op een manier die werkelijk uitzonderlijk is binnen de ICT-onderzoeksgemeenschap. Hiermee zet hij Nederland stevig op de wereldkaart in programmeertaalonderzoek. Naast zijn onderzoek prijst de jury Krebbers ook als uitstekende begeleider van studenten en als actieve kracht in outreach en onderwijs.
Over de prijs
De Nederlandse Prijs voor ICT-onderzoek wordt jaarlijks uitgereikt aan een wetenschappelijk onderzoeker die innovatief onderzoek heeft verricht of verantwoordelijk is geweest voor een wetenschappelijke doorbraak in ICT binnen 15 jaar na het behalen van het doctoraat. De prijs wordt gefinancierd door de leden van ICT Research Platform Nederland (IPN) met een subsidie van COMMIT/, via de Koninklijke Hollandsche Maatschappij der Wetenschappen (KHMW).
Krebbers ontvangt de prijs tijdens NWO ICT.OPEN2026 op 15 en 16 april in De Doelen, Rotterdam. Hij zal ook een video opnemen over zijn werk, bestemd voor scholen en kennisinstellingen.
Bekijk ook: Dr. Robbert Krebbers wins the Dutch Prize for ICT research 2026
