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
Site WEB

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)