معرفی
Sylvie Putot is a Professor of Computer Science at École Polytechnique, where she focuses on formal verification of numerical programs and cyber-physical systems. She leads the Cosynus team at LIX laboratory and organizes the LIX Seminar series.
- Current affiliation: École Polytechnique (Computer Science Department)
- Prior affiliation: CEA LIST (developer of FLUCTUAT static analyzer)
Her research spans formal methods for cyber-physical systems, emphasizing reachability analysis, invariant synthesis, and probabilistic verification. She combines abstract interpretation with zonotopic domains and constraint programming to address numerical stability and safety in AI-driven control systems.
Recent publications highlight work on Safe AI through Formal methods (SAIF project), including probabilistic guarantees for neural networks and applications in mobile robotics. Her team’s best paper award at EMSOFT 2015 recognized scalable quadratic invariant computation for embedded systems.
Scientific awards:
- Best paper award, ACM SIGBED International Conference on Embedded Software (EMSOFT 2015)
She has supervised numerous PhD students in topics like mobile robotics, neural network verification, and numerical error analysis. Active in ANR projects (COVERIF, MALTHY, DEFIS) and currently leads the PEPR IA initiative on AI validation.
