Portrait de chercheur ou chercheuse, Recherche
Patricia Bouyer-Decitre : fiabiliser les logiciels critiques grâce aux mathématiques
… Bouyer-Decitre est celui des méthodes formelles, au service de l’analyse de programmes informatiques, pour prouver … drapeau de son domaine de recherche au niveau national et international. Et pour y parvenir, « je souhaite impulser … Bouyer-Decitre est celui des méthodes formelles, au service de l’analyse de programmes informatiques, pour prouver …
Published on: