Nomination de Yamine Ait-Ameur au sein de l’Agence nationale de la recherche (ANR)
Nous adressons toutes nos félicitations à notre collègue Yamine Ait Ameur, nommé à compter de septembre 2021, responsable du département Numérique et Mathématiques de l’Agence nationale de la recherche (ANR).
Yamine Ait Ameur, est professeur ENSEEIHT-Toulouse INP et membre du département Fiabilité des Systèmes et des Logiciels (FSL) de l’IRIT, dont il a été responsable jusqu’à cette nomination.
Ses travaux de recherches au sein de l‘équipe ACADIE portent sur la mise en œuvre de méthodes formelles pour la vérification et la validation de systèmes qu’ils soient logiciels, matériels ou hybrides.