Patricia Bouyer-DecitreCNRS senior researcher, member of LMF
Médaille d’argent du CNRS
ERC Starting Grant
CNRS bronze medal
Dans son projet EQualIS, Patricia Bouyer-Decitre, chercheuse CNRS au sein du Laboratoire Méthodes Formelles (LMF - CNRS/ENS Paris-Saclay/Université Paris-Saclay), s’intéresse à faire fructifier de façon croisée des concepts avancés relevant aussi bien de la théorie des jeux, du model-checking que de l’évaluation de performances.
En savoir plus
"Patricia Bouyer-Decitre, architecte de la fiabilité des programmes", publiée le 06 mai à l'occasion de sa médaille d'argent du CNRS