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

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.

• Master's internship proposal: verification of probabilistic properties for AI
  
  
• Master's internship proposal: quantified reachability properties for provably explainable AI
  
  
• Open PhD positions: formal methods for the safety and explainability of AI
  
  

Students

• Mathilde Jeannin, Guaranteed algorithmics for mobile robotics, with Eric Goubault and David Filiat (2023-)
• Bernardo Hummes Flores, Formal methods for mobile robotics, with Eric Goubault and Luc Jaulin (2022-)
• Aloysio Galvao Lopes, Trajectory planning in the presence of obstacles, prediction and real-time scheduling, with Eric Goubault and Laurent Pautet (2022-)
• Nathan Chiche, State space approximations for the verification of Cyber-Physical Systems, with Eric Goubault (2022-)

• Maria Luiza Costa Vianna, A Geometrical Approach to Estimate the Coverage Measure of the Area Explored by a Robot, with Eric Goubault and Luc Jaulin (2020-2023)
• Nan Li, Real-time and efficient control for autonomous racing, with Eric Goubault and Laurent Pautet (2019-2023)
• Francois Bidet, Reachability analysis with Lebesgue-integrable time-varying uncertainties, with Eric Goubault (2018-2022)
• Bibek Kabi, Synthesizing invariants: a constraint programming approach based on zonotopic abstraction, with Eric Goubault (2016-2020)
• Nikolas Stott, Quadratic invariants for switched linear and affine systems by LMI-free methods, with Xavier Allamigeon, Stéphane Gaubert and Eric Goubault (2014-2017)
• Sameh Mohamed, A topological method for finding invariants of continuous and switched systems, with Laurent Fribourg and Eric Goubault (2013-2016)
• Olivier Mullier, Inner-approximations of function images, with Michel Kieffer and Eric Goubault (2011-2014)
• Khalil Ghorbal, Static Analysis of Numerical Programs: Constrained Affine Sets Abstract Domain, with Eric Goubault (2007-2011)

Projects

• SAIF project, Safe AI through Formal methods (2023-2027), part of the PEPR IA
• CIEDS project FARO, Fondements Algorithmique des essaims de RObots (2021-2025)
• ANR project NusSCAP (ANR-20-CE48-0014), Numerical Safety for Computer-Aided Proofs (2021-2025)

• DGA AID project “Validation de drones et essaims de drones autonomes” (2019-2022)
• Inria Project Lab (IPL) MODELISCALE, Modeling technologies (languages, compile-time analyses, simulation techniques) for CPS
• ANR INS project COVERIF, Combining abstract interpretation and constraint programming to verify critical properties of embedded programs with floating point computations (2015-2019)
• ANR INS project MALTHY, Algebraic Methods for Model-Checking of Timed and Hybrid Systems (2014-2017)
• ANR INS project CAFEIN, Combining Formal Analyses for the Study of Numerical Invariants (2013-2016)
• ANR INS project DEFIS, Design of fixed-point embedded systems (2011-2015)
• Digiteo DIM LSC project SANSCRIT, Sous-approximations pour l'ANalyse Statique et la Commande Robuste (2010-2013, coordinator)
• ANR Blanc project CPP: Confidence, proof and probability (2009-2012)
• Digiteo Emergence Project PASO: Proof, Static Analysis and Optimisation (2009-2011, coordinator)
• ANR Arpège project ASOPT: Static Analysis and Optimisation (2009-2011)
• Research Group (GdR) MASCOT NUM Methods for Stochastic Analysis of Codes and Numerical Transformations