Home
photo

Ali Ayad

       

Post-doc
CEA-LIST
Software Safety Laboratory


Research interests: Symbolic algebraic computation - Design and complexity analysis of algorithms - Real algebraic geometry and solving polynomial systems - Nonlinear differential equations - Floating-point arithmetic - Formal methods for static analysis of programs - Deductive verification of floating-point C programs.

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.

Phone number: +33 6 32 55 16 04

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