Researcher portraits, Research
Patricia Bouyer-Decitre: making safety-critical software more reliable through mathematics
… of formal methods and director of the “Laboratoire méthodes formelles” (Formal methods laboratory) - LMF (Université … all her work since the beginning of her career. Great strides ahead thanks to an ERC research grant That same year she … their flight plans without any mishap. Another is robot designers when building devices such as mechanical arms …Published on: Fri 23/04/2021 - 09:08