Researcher portraits, Research
Évelyne Contejean: Avoiding computer bugs
… Formal Methods Laboratory (LMF - Univ. Paris-Saclay, CNRS, ENS Paris-Saclay, CentraleSupélec, Inria) . She specialises … demonstration and proof assistants. This field of computer science research focuses on designing efficient tools to … Évelyne Contejean rewrites the mathematical equations to deduce others, with the aim of automating the process. "The …Published on: