Sylvie Putot

Professor of Computer Science, École Polytechnique

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

E-mail :







My research focuses on the verification of numerical programs and systems. I am currently member of the Cosynus team in the LIX Computer Science Laboratory of Ecole Polytechnique.
When working at CEA LIST, I was involved in the development of the static analyzer of numerical properties FLUCTUAT. A large part of my present work focuses on the verification of hybrid, or more generally Cyber-Physical Systems.

PhD students
On-going projects
Older projects
Service (PC member)