Français Anglais
Accueil Annuaire Plan du site
Accueil > Présentation > Personnel > AIT-SADOUNE Idir
Présentation
M. AIT-SADOUNE Idir
AIT-SADOUNE Professeur assistant
Centrale Supélec
Modélisation Hétérogène

Tel : 01 69 85 14 88
Fax :
Bureau : 16/PCRI-S

Page personnelle : http://wdi.supelec.fr/aitsadoune/
Courrier électronique : idir.aitsadoune@lri.fr

Activités de recherche
   - Formalisation et preuves de programmes numériques
   - Formalisation de langages (de spécification et de programmation) dans les assistants de preuve

Publications




Responsabilités administratives
   - Membre de la commission Web

Responsabilités de contrats
   - IMPEX


Logiciels et brevets
   - OntoEvent-B : Générateur de contextes Event-B à partir des ontologies