Français Anglais
Accueil Annuaire Plan du site
Home > About LRI > Personnel > AIT-SADOUNE Idir
About LRI
Mr AIT-SADOUNE Idir
AIT-SADOUNE Professeur assistant
Centrale Supélec
Heterogeneous Modeling

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

Personal web page : http://wdi.supelec.fr/aitsadoune/
Email : idir.aitsadoune@lri.fr

Research activities
   - Formalisation and Proof of Numerical Programs
   - Formalisation of (Specification and Programming) Languages in Proof Assistants

Publications




Leadership positions
   - Web committee member

Principle investigator
   - IMPEX


Software & Patents
   - OntoEvent-B: A Generator of Event-B contexts from Ontologies