Researcher portraits, Research
Patricia Bouyer-Decitre: making safety-critical software more reliable through mathematics
… Research Patricia Bouyer-Decitre is a researcher in computer science in the field of formal methods and director of the “Laboratoire méthodes formelles” (Formal methods … to prove their reliability and performance. “What I like best about computer science is that it has the same rigour …
Published on: