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 … demonstration and proof assistants. This field of computer science research focuses on designing efficient tools to thwart all potential bugs in …Published on: