Researcher portraits, Research
Évelyne Contejean: Avoiding computer bugs
… Contejean is a CNRS Research Director at the Formal Methods Laboratory (LMF - Univ. Paris-Saclay, CNRS, ENS … efficient tools to thwart all potential bugs in the digital ecosystem at an early stage. Since 2018, Évelyne … has been actively involved in the creation of the Formal Methods Laboratory , of which she became Deputy Director when …
Published on: