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 … has been actively involved in the creation of the Formal Methods Laboratory , of which she became Deputy Director when it opened in 2021. This laboratory brings together around 50 permanent researchers, mainly from the …Published on: