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, hybrid systems and more generally cyber-physical systems. I am currently member of the Cosynus team in the LIX Computer Science Laboratory of Ecole Polytechnique.

I am organizing the monthly LIX Seminar.

I was previously member of CEA LIST, where I was involved in the development of the static analyzer of numerical properties FLUCTUAT.

PhD students

Open PhD positions: formal methods for the safety and explainability of AI (fully funded by the SAIF project, Safe AI through Formal methods)

Current: Former:


Former projects: