Véronique Cortier, Prix Inria - Académie des sciences du jeune chercheur

Véronique Cortier, Prix Inria - Académie des sciences du jeune chercheur

Directrice de recherche CNRS dans l’équipe-projet CASSIS au sein du Laboratoire lorrain de recherche en informatique et ses applications (Loria - CNRS/Université de Lorraine/Inria), Véronique Cortier est une chercheuse brillante qui travaille dans des domaines stratégiques et à fort impact sociétal. Ses recherches portent en effet sur la vérification automatique de programmes, notamment l’analyse des protocoles de sécurité. Son prix lui sera remis lors d’une cérémonie le 6 octobre 2015.

En savoir plus