Télécharger le communiqué de presse

Agé de 55 ans, Yamine Ait Ameur, est professeur des universités. Il a un diplôme d’ingénieur de l’Institut National d’Enseignement Supérieur en Informatique (Tizi-Ouzou – Algérie) et est titulaire d’un DEA et d’un doctorat en Informatique obtenus à l’ENSAE-SUPAERO de Toulouse et d’une habilitation à diriger des recherches en Informatique de l’Université de Poitiers.

Il a occupé différentes fonctions dans le domaine de la recherche, parmi lesquelles : directeur-adjoint de l’Ecole doctorale Science et Ingénierie de l’Information, Mathématiques sur le site de l’ENSMA à Poitiers (2009-2011), directeur du Laboratoire d’Informatique Scientifique et Industrielle LISI-ENSMA-UP de Poitiers (2008-2011) et responsable du département Fiabilité et Sûreté du Logiciel (FSL) à l’Institut de Recherche en Informatique de Toulouse – (IRIT – UMR CNRS 5505) (2016-2020). Il est également membre du groupe d’experts de l‘alliance Allistene depuis 2010 et conseiller scientifique pour le département d’évaluation de la recherche (DER) du HCERES depuis 2019.

Dans l’enseignement supérieur, Yamine Ait Ameur débute sa carrière en tant qu’ATER (1992-1993) puis maître de conférences en informatique (1993-2002) à l’ENSMA, rattaché au LISI/ENSMA-UP. Il occupe ensuite les fonctions de professeur d’informatique à l’ENSAE-SUPAERO (2000-2002) puis de professeur des universités à l’Université de Poitiers (2002-2006) et à l’ENSMA, rattaché au LISI/ENSMA-UP (2006-2011) où il était également responsable du Master de Recherche Informatique (de 2004 à 2006 à l’Université de Poitiers et de 2006 à 2011 à l’ENSMA).  Il est depuis 2011, professeur des universités au sein du Département « Sciences du Numérique » de l’ENSEEIHT – Toulouse INP.

Au sein du département FSL, il est également membre de l’équipe de recherche ACADIE de l’IRIT depuis 2011. Ses travaux 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. Une de ses activités spécifiques porte sur la modélisation à base ontologique de systèmes en vue d’expliciter les connaissances de domaine.

Président du comité d’évaluation scientifique 25 (CES 25) de l’ANR entre 2015 et 2018, Yamine Ait Ameur a une bonne connaissance de l’Agence et des valeurs et engagements que celle-ci porte.