Portrait de chercheur ou chercheuse, Recherche
Patricia Bouyer-Decitre : fiabiliser les logiciels critiques grâce aux mathématiques
… et directrice du Laboratoire méthodes formelles (LMF - Université Paris-Saclay, ENS Paris-Saclay, CNRS) . Son … aussi à l’informatique, elle effectue un stage d’études à l'Université d’Aalborg au Danemark et réalise un DEA dans … - au Laboratoire spécification et vérification (LSV – Université Paris-Saclay, ENS Paris-Saclay, CNRS). « Durant …
Published on: