Portrait de chercheur ou chercheuse, Recherche
Patricia Bouyer-Decitre : fiabiliser les logiciels critiques grâce aux mathématiques
… Recherche Patricia Bouyer-Decitre est chercheuse en informatique dans le domaine des méthodes formelles, et directrice du Laboratoire … (ERC). Très prisé par la communauté scientifique, ce financement cible des projets exploratoires originaux …Article publié le: