Accueil
photo

Ali Ayad

       

Post-doc
CEA-LIST
Laboratoire de Sûreté des Logiciels


Thèmes de recherche: Calcul formel et analyse de complexité des algorithmes - Géométrie algébrique réelle et résolution des systèmes polynomiaux - Équations différentielles non linéaires - Arithmétique flottante - Méthodes formelles d'analyse statique des programmes - Vérification et certification des programmes C flottants.

Curriculum vitae : English version Version française

Contact :

Ali Ayad
Centre du CEA-Saclay
Bâtiment 528, bureau 135A
91191 Gif-sur-Yvette CEDEX
France.

Tél: +33 6 32 55 16 04

ayadali99100@hotmail.com
http://ali.ayad.free.fr/


-->