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 … (LSV - CNRS, ENS Paris-Saclay). "Formal methods are a set of techniques that analyse our digital world," says the … reliability of various IT objects, such as programmes, software, protocols and systems." The objective is to provide …
Published on: