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 mathématiques … en informatique dans le domaine des méthodes formelles, et directrice du Laboratoire méthodes formelles (LMF - … une classe préparatoire scientifique au lycée Chateaubriand à Rennes avant d’intégrer l’École normale supérieure de …Article publié le: