Researcher portraits, Research
Évelyne Contejean: Avoiding computer bugs
… Research Évelyne Contejean is a CNRS Research Director at the Formal Methods Laboratory (LMF - Univ. … Director when it opened in 2021. This laboratory brings together around 50 permanent researchers, mainly from the … is that when I know that two expressions are equal, I can replace the ‘larger’ by the ‘smaller’, by which I mean, …
Published on: