Post by Koninklijke Hollandsche Maatschappij der Wetenschappen

Prijswinnaar in beeld | Joost-Pieter Katoen Hoe weet je zeker dat complexe software doet wat zij moet doen? Die vraag staat centraal in het werk van informaticus Joost-Pieter Katoen. Hij 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 deeltijd-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. Voor zijn invloedrijke wetenschappelijke oeuvre ontvangt prof. Joost-Pieter Katoen maandag 29 juni de KHMW Langerhuizen Oeuvreprijs 2026. Lees het interview: https://lnkd.in/eADZJufe #PrijswinnaarInBeeld #KHMW #Informatica #Softwareverificatie #FormeleMethoden #Wetenschap