Portrait de chercheur ou chercheuse, Recherche
Patricia Bouyer-Decitre : fiabiliser les logiciels critiques grâce aux mathématiques
… Patricia Bouyer-Decitre : fiabiliser les logiciels critiques grâce aux … en informatique dans le domaine des méthodes formelles, et directrice du Laboratoire méthodes formelles (LMF - … je participe à la création d’un cadre propice à susciter de nouvelles recherches. » Le LMF naît au 1er janvier 2021 et …Article publié le: