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
Internship proposals Please contact me for an English version of the above proposals, or other possible proposals related to the verification of numerical programs and hybrid systems.
On-going projects
Older projects
Service (PC member)