Researcher portraits, Research
Évelyne Contejean: Avoiding computer bugs
… CentraleSupélec, Inria) . She specialises in automatic demonstration and proof assistants. This field of computer science research focuses on designing efficient tools to thwart all potential bugs in … of the Formal Methods Laboratory , of which she became Deputy Director when it opened in 2021. This laboratory …Published on: Thu 10/11/2022 - 15:47