Félicitations à Antoine Girard, promu au rang de Fellow de l’IEEE pour ses travaux sur la vérification formelle et la synthèse des systèmes cyber-physiques. Antoine est directeur de recherche CNRS au sein du Laboratoire des Signaux et Systèmes (Université Paris-Saclay / CNRS - Centre national de la recherche scientifique / CentraleSupélec).
https://www.linkedin.com/feed/update/urn:li:activity:7137426006096683008/
Date_ecrit