Photo

Sylvie Putot

Professor of Computer Science, École Polytechnique
Researcher seconded from CEA LIST

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

Research

Publications

Teaching




Software

I was involved as researcher at CEA_LIST in the development of the static analyzer of numerical properties FLUCTUAT. I still colloborate with CEA-LIST on this tool.

The experiments for the HSCC 2017 paper, Forward inner-approximated reachability of non-linear continuous systems, were produced with the following prototype implementation of a Taylor-model based computation of inner-approximated reachable sets of uncertain systems of differential equations.