Sylvie Putot Professor of Computer Science, École Polytechnique Office: LIX - UMR 7161 1 rue Honoré d'Estienne d'Orves Bâtiment Alan Turing Campus de l'École Polytechnique 91128 Palaiseau E-mail : Sylvie.Putot@polytechnique.edu

Software

I was involved as researcher at CEA_LIST in the development of the static analyzer of numerical properties FLUCTUAT.

I am now developing the RINO (Robust INner and Outer Approximations) prototype for inner and outer-approximated reachability analysis of dynamical systems, possibly controlled by neural nteworks.