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 :

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/

-->