Patricia BOUYER-DECITRE (mathématiques, promotion 1996), directrice de recherche CNRS au Laboratoire méthodes formelles (LMF) et enseignante au DER Informatique, a reçu la médaille d'argent du CNRS pour ses contributions en vérification de programmes, méthodes formelles, théorie des automates, logique et théorie des jeux.