Photo

Sylvie Putot

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

Office: LIX - UMR 7161
1 rue Honoré d'Estienne d'Orves
Bâtiment Alan Turing
Campus de l'École Polytechnique
91120 Palaiseau

E-mail : Sylvie.Putot@polytechnique.edu

 


 

Software

Research

Publications

Teaching




Research

My research focuses on numerical program and systems analysis, with a highlight on the quality of finite precision computations. I am involved in the development of the static analyzer of numerical properties FLUCTUAT.

I can propose internships and PhD subjects related to the verification of numerical programs and hybrid systems. Please send me an email, with a short description of your educational background and interests.


Projects
Older projects