Idir AIT SADOUNE
CentraleSupelec - Département informatique LRI - Équipe MODHEL
3 rue Joliot-Curie Bât 650 Ada Lovelace, Université Paris Sud
F-91192 Gif-sur-Yvette cedex, France Rue Noetzlin, 91190 Gif-sur-Yvette, France
Téléphone : +33 [0]1 69 85 14 88
Télécopie : +33[0]1 69 85 14 99
idir[.]aitsadoune[at]centralesupelec[.]fr idir[.]aitsadoune[at]lri[.]fr
Idir AIT SADOUNE

Je suis Enseignant-Chercheur au département informatique de CentraleSupelec (Paris-Saclay, France) depuis Juin 2011, et membre de l’équipe MODHEL (Modélisation Hétérogène) 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 diplômes

  • Doctorat en Informatique et Application, obtenu en 2010 à l’École Nationale Supérieur de Mécanique et d'Aérotechnique (ENSMA) et au Laboratoire d'Informatique et d'Automatique pour les Systèmes (LIAS) - Poitiers/France.
  • Master en Informatique, obtenu en 2007 à l'Université de Poitiers et au Laboratoire d'Informatique et d'Automatique pour les Systèmes (LIAS) - Poitiers/France.
  • Ingénieur d’État, obtenu en 2005 à l'Ecole Supérieur d'Informatique (ESI) - Alger/Algérie.

Sur le web

CentraleSupelec - LRI - DBLP - Google Scholar - Linkedin