Researcher portraits, Research
Patricia Bouyer-Decitre: making safety-critical software more reliable through mathematics
… researcher in computer science in the field of formal methods and director of the “Laboratoire méthodes formelles” (Formal … is that it has the same rigour as mathematics, but with an applied focus.” These applications ensure the correct …Published on: