Photo

Sylvie Putot

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

Office: LIX - UMR 7161
Ecole Polytechnique
1 rue Honoré d'Estienne d'Orves
Bâtiment Alan Turing
91128 Palaiseau

E-mail : Sylvie.Putot@polytechnique.edu

 


 

Software

Research

Publications

Teaching




My research focuses on the verification of numerical programs and systems. I am involved in the development of the static analyzer of numerical properties FLUCTUAT.


Intership proposals 2016-2017

Both proposals can lead a successful candidate to a PhD thesis. Please contact me for an English version of the above proposals, or for other possible proposals related to the verification of numerical programs and hybrid systems.


On-going projects
Older projects