Researcher portraits, Research
Patricia Bouyer-Decitre: making safety-critical software more reliable through mathematics
… Patricia Bouyer-Decitre: making safety-critical software more reliable through mathematics Patricia Bouyer-Decitre: making safety-critical software more reliable … of LSV in 2020, before managing the LMF in January 2021. This laboratory is the result of merging the LSV with …Published on: