Patricia Bouyer-Decitre : fiabiliser les logiciels critiques grâce aux mathématiques
… en informatique dans le domaine des méthodes formelles, et directrice du Laboratoire méthodes formelles (LMF - … en tant que chargée de recherche dès 2002. Elle prend la direction du LSV en 2020, avant de diriger le LMF en janvier 2021. Ce laboratoire est issu de …
Published on: