Idir Ait Sadoune

Je suis Enseignant-Chercheur au département informatique de CentraleSupelec (Paris-Saclay, France) depuis Juin 2011, et membre du Laboratoire Méthodes Formelles (LMF). Mes activités de recherche abordent le thème de l'utilisation des méthodes formelles pour la modélisation et la vérification des systèmes, essentiellement l'utilisation des approches basées sur le raffinement et sur la preuve. Mes activités d'enseignement sont essentiellement dans le domaine de l'informatique et interviennent en formation initiale sur les trois années du cursus Ingénieur de CentraleSupelec. Parallèlement, je corrige l'épreuve d'informatique du concours CentraleSupelec et j'interviens comme enseignant vacataire à l'IUT d'Orsay.