É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 … in 1992. In 1993, after a one-year post-doc at the Max Planck Institute in Saarbrücken, still in the field of …
Published on: