De KHMW Langerhuizen Oeuvreprijs 2026 is toegekend aan Joost-Pieter Katoen, hoogleraar Informatica met specialisatie Softwaremodellering en -verificatie aan de RWTH in Aken (Duitsland) en deeltijd-hoogleraar Informatica op het gebied van Formele Methoden en Tools aan de Universiteit Twente. In zijn onderzoek ontwikkelt hij wiskundige methoden om de betrouwbaarheid van complexe software aan te tonen, van satellieten en treinen tot auto’s en waterkeringen.