Researcher portraits, Research
Patricia Bouyer-Decitre: making safety-critical software more reliable through mathematics
… in computer science in the field of formal methods and director of the “Laboratoire méthodes formelles” (Formal … a science preparatory course at the “Lycée Chateaubriand” in Rennes before joining the “École normale supérieure … she has been involved in discussions about and the development of the project. This new stage in her career is …Published on: