2025-08-01
Karoliina Lehtinen, aux racines de la vérification de programmes
Les programmes informatiques sont partout. Mais comment s’assurer qu’ils fonctionneront comme prévu ? Karoliina Lehtinen, chercheuse du CNRS au Laboratoire d’informatique et des systèmes, travaille sur les fondements théoriques de la vérification de programmes. Elle est récompensée par la médaille de bronze du CNRS.
