Idir Ait Sadoune

Laboratoire
Laboratoire Méthodes Formelles
Mots cles
Méthodes formelles, Modélisation, Vérification, Raffinement, Preuve de théorème, Systèmes interactifs, Systèmes composés, Méthode Event-B

Résumé

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.

Publications (45)

Communication dans un congrès 07/10/2025
Semantic Hubs for Geological Projects
Yamine Aït-Ameur , Nabil Belaid , Mohammed Bennis , Olivier Corby , Rose Dieng-Kuntz , Jérémie Doucy , Priscille Durville , Chimène Fankam , Fabien L. Gandon , Alain Giboin , Patrick Giroux , Sandrine Grataloup , Bruno Grilheres , Florian Husson , Stéphane Jean , Joel Langlois , Phuc-Hiep Luong , Laura Mastella , Olivier Morel , Michel Perrin , Idir Ait Sadoune