Directeur de recherche CNRS au L2S, Antoine Girard est 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 (CPS).
Les travaux récents d’Antoine Girard visent notamment à concevoir des composants d’intelligence artificielle, permettant aux CPS d’utiliser les nombreuses données collectées par leurs capteurs pour mettre à jour les modèles mathématiques sur lesquels se basent leurs prises de décision. L’intégration de ces composants basés sur l’IA permet d’améliorer les performances des CPS et leurs capacités d’adaptation à des environnements inconnus mais pose des challenges importants quant à la certification de leur sûreté.
