Portrait de chercheur ou chercheuse, Recherche
Patricia Bouyer-Decitre : fiabiliser les logiciels critiques grâce aux mathématiques
… du Laboratoire méthodes formelles (LMF - Université Paris-Saclay, ENS Paris-Saclay, CNRS) . Son impressionnant … des mathématiques, mais avec une visée applicative. » Ces applications consistent à donner des garanties sur le bon … des mathématiques, mais avec une visée applicative. » Ces applications consistent à donner des garanties sur le bon …Published on: