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:713742600609668300…