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é … and systems) at the “Laboratoire de recherche en informatique” (Computer Science Research Laboratory) - LRI (Université … at CNRS. In 2011, the association européenne d’informatique théorique (European Association for Theoretical Computer …Published on: Fri 23/04/2021 - 09:08