Portrait de chercheur ou chercheuse, Recherche
Patricia Bouyer-Decitre : fiabiliser les logiciels critiques grâce aux mathématiques
… est chercheuse en informatique dans le domaine des méthodes formelles, et directrice du Laboratoire méthodes formelles (LMF - … de découvertes scientifiques, techniques et sociétales. Son dossier est accepté en 2012, puis financé à hauteur de 1,5 …Article publié le: ven 23/04/2021 - 09:08