Idir Ait Sadoune

Paris-Saclay

Idir.Aitsadoune [at] centralesupelec.fr

Résumé :

  • Je suis Enseignant-Chercheur au département informatique de CentraleSupelec (Paris-Saclay, France) depuis Juin 2011, et membre de l’équipe VALS (Vérification d'Algorithmes, Langages et Systèmes) du Laboratoire de recherche en informatique (LRI).
  • 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.

Mots clés :

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

Publications :