Researcher portraits, Research
Évelyne Contejean: Avoiding computer bugs
… science research focuses on designing efficient tools to thwart all potential bugs in the digital ecosystem at an early … Since 2018, Évelyne Contejean has been actively involved in the creation of the Formal Methods Laboratory , of … which guarantees that the process stops in a finite time. The idea is to provide the end user with a tool that, …
Published on: