Software verification
According to the jury, Krebbers succeeds in translating deep theoretical work into practical, globally used tools for software verification. The open-source framework Iris that Krebbers co-leads has enormous international impact in both science and industry, underscored by prestigious awards, major grants, and broad adoption. Robbert Krebbers belongs to the international top in programming languages and software verification.
Krebbers combines profound theory, practical impact, community building, and international recognition in a way that is truly exceptional within the ICT research community. As a result, he puts the Netherlands firmly on the global map in programming-language research. In addition to his research, the jury also praises Krebbers as an excellent supervisor of students and an active force in outreach and education.
About the prize
The Dutch Prize for ICT Research is awarded annually to a scientific researcher who has conducted innovative research or who has been responsible for a scientific breakthrough in ICT within 15 years of earning their PhD. The prize is funded by the members of ICT Research Platform Netherlands (IPN) with a grant from COMMIT/, through the Royal Holland Society of Sciences and Humanities (KHMW).
Krebbers will receive his award at NWO ICT.OPEN2026 on 15 and 16 April in De Doelen, Rotterdam. He will also record a video about his work, intended for schools and knowledge institutes.
Press release ICT Platform Netherlands: Dr. Robbert Krebbers wins the Dutch Prize for ICT research 2026
