KHMW Langerhuizen Oeuvreprijs 2026 voor Joost-Pieter Katoen

Professor Joost-Pieter Katoen ontving deze week de KHMW Langerhuizen Oeuvreprijs 2026 voor zijn invloedrijke wetenschappelijke oeuvre.

Katoen ontwikkelt wiskundige methoden om de betrouwbaarheid van software aan te tonen, van satellieten en treinen tot auto’s en waterkeringen.
Katoen is hoogleraar informatica aan de RWTH Aachen University en deeltijds hoogleraar formele methoden en tools aan de Universiteit Twente. Al meer dan vijfentwintig jaar geeft hij mede richting aan het internationale onderzoek naar formele methoden, met een visionaire focus op het verenigen van correctheid en prestaties bij de verificatie van complexe systemen.

"Wij ontwikkelen methoden om fouten in software op te sporen voordat die ernstige, en soms zelfs catastrofale, gevolgen kunnen hebben. Denk aan software die satellieten aanstuurt: zo’n satelliet kun je, als hij zich eenmaal in de ruimte bevindt, niet zomaar repareren als er iets misgaat. Daarom is het essentieel dat zulke systemen aantoonbaar correct werken."

"Er zijn regelmatig fouten te vinden in software waarvan je blij bent dat ze op tijd worden ontdekt, voordat de software daadwerkelijk in gebruik wordt genomen. Tegenwoordig zit er bijvoorbeeld enorm veel software in auto’s. Als er iets misgaat, kan dat serieuze gevolgen hebben, bijvoorbeeld wanneer sensoren verkeerde signalen doorgeven of een stuuractie verkeerd wordt uitgevoerd. Juist daar kunnen formele verificatietechnieken een rol spelen."