Portrait de chercheur ou chercheuse, Recherche
Évelyne Contejean : Éviter les bugs informatiques
… est directrice de recherche CNRS au Laboratoire méthodes formelles (LMF – Univ. Paris-Saclay, CNRS, ENS Paris-Saclay, CentraleSupélec, Inria) . Elle est spécialiste de la démonstration automatique et des assistants à la … réécrit les équations mathématiques pour en déduire d’autres, avec l’objectif d’automatiser le processus. « Le …
Published on: