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 … (ERC). Très prisé par la communauté scientifique, ce financement cible des projets exploratoires originaux …Article publié le: ven 23/04/2021 - 09:08