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
   - Human-Computer Interaction
   - Large scale modelling

Publications




Leadership positions
   - Web committee member

Principle investigator
   - IMPEX