Portrait de chercheur ou chercheuse, Recherche
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 … de mathématiques. » Mais comme elle s’intéresse aussi à l’informatique, elle effectue un stage d’études à …Article publié le: