Jean-Claude Laprie Prijs 2023 voor paper betrouwbare computersystemen voor decaan Haverkort
Decaan van de Tilburg School of Humanities and Digital Sciences Boudewijn Haverkort heeft samen met co-auteurs op 29 juni de Jean-Claude Laprie Award ontvangen in Porto. Dat gebeurde tijdens het jaarlijkse IFIP/IEEE Congress on Dependable Systems & Networks.
De prijs wordt uitgereikt aan auteurs van een excellent paper dat minimaal 10 jaar geleden is gepubliceerd op het gebied van ontwerp van hoog-betrouwbare computersystemen, en dat nog steeds van invloed is op de huidige ontwikkelingen. Boudewijn Haverkort en coauteurs Christel Baier, Holger Hermanns en Joost-Pieter Katoen publiceerden het paper “Model-checking algorithms for continuous-time Markov chains” in 2003 in IEEE Transaction on Software Engineering. Het paper presenteert een nieuwe zeer efficiënte methode en algoritmes voor het berekenen van de betrouwbaarheid van computersystemen.
Haverkort: ‘Ik ben zeer verguld met deze prijs, juist voor dit paper, dat ik al lange tijd als een van de hoogtepunten in mijn wetenschappelijke werk beschouw. Het is bovenal een resultaat van samenwerking die over grenzen van traditionele deelgebied-afbakeningen gaat (theoretische informatica, formele methoden en software engineering, ontwerp van betrouwbare computersystemen). De meer dan duizend citaties voor het paper (op google scholar), en het veelvuldige gebruik van de resultaten van het paper in academia en industrie stemmen ook tot vreugde.’
Jean-Claude Laprie (1944-2010) was een gerenommeerde Franse informaticus, actief op het gebied van het ontwerp van betrouwbare computersystemen voor de luchtvaart. De prijs bestaat uit een plaquette die werd uitgereikt op het DSN-congres op 29 juni.