Patricia Bouyer-DecitreDirectrice de recherche CNRS au LMF

Patricia Bouyer-Decitre, directrice de recherche CNRS au Laboratoire méthodes formelles (LMF) , ne voulait pas faire d'informatique. C'est un stage au Danemark, et des cours d’informatiques intégrés lors de ses études à l'ENS Cachan, qui changent tout : elle y découvre les méthodes formelles et ne les quittera plus. Ses recherches se situent en amont des logiciels : l'enjeu n'est pas de corriger des bugs, mais d'empêcher qu'ils existent. Elle construit pour cela des automates, des modèles mathématiques qui permettent de prouver qu'un programme respectera toujours ses propriétés. Au fil de sa carrière, la chercheuse a enrichi ses modèles à mesure qu'ils atteignaient leurs limites : le temps, l'énergie, puis l'environnement imprévisible dans lequel évoluent les systèmes. Depuis dix ans, la théorie des jeux lui offre de nouveaux outils pour raisonner sur des systèmes qui interagissent — et dont les stratégies doivent rester fiables quoi qu'il arrive. Ces travaux, qu’elle développe toujours en collaboration, rejoignent aujourd’hui les enjeux de l’IA explicable : comment décider, tout en démontrant pourquoi.