Portrait de chercheur ou chercheuse, Recherche
Patricia Bouyer-Decitre : fiabiliser les logiciels critiques grâce aux mathématiques
… chercheuse Recherche Patricia Bouyer-Decitre est chercheuse en informatique dans le domaine des méthodes formelles, et … méthodes formelles (LMF - Université Paris-Saclay, ENS Paris-Saclay, CNRS) . Son impressionnant parcours révèle … avant d’intégrer l’École normale supérieure de Cachan en 1996, où elle suit un double cursus en mathématiques et …Article publié le: