Photo

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 : Sylvie.Putot@polytechnique.edu

 


 

Software

Research

Publications

Teaching




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. Recordings of former talks are available here.

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:

Projects

Former projects: