Portrait de chercheur ou chercheuse, Recherche
Évelyne Contejean : Éviter les bugs informatiques
… méthodes formelles (LMF – Univ. Paris-Saclay, CNRS, ENS Paris-Saclay, CentraleSupélec, Inria) . Elle est … Évelyne Contejean s’implique ardemment dans la construction du Laboratoire méthodes formelles, dont elle devient la … de Fontenay-aux-Roses en 1984. Elle y poursuit son parcours universitaire tout en préparant l’agrégation de …
Published on: