معرفی
Alexandre Chapoutot is an Associate Professor at ENSTA Paris within the U2IS department. His research focuses on static analysis of programs, hybrid systems verification, and numerical precision, particularly in Simulink models. He collaborates on projects related to fixed-point transformation of Simulink models and develops the DynIbex library for validated ODE solving. His work bridges formal methods with practical applications in embedded systems and cyber-physical systems.
Education & Background:
- PhD Thesis: Defined static analysis methods for Simulink models.
Research Interests:
Chapoutot explores formal verification of hybrid systems, numerical analysis, and decision procedures for AI. His recent work includes co-supervising PhD students on topics like numerical precision and embedded software validation. He also contributed to the Acumen DSL and OCaml mathematical libraries during collaborations.
Teaching:
- ENSTA Paris: Courses on Linux, C programming, model-based design, and decision procedures for AI.
- IP Paris Master's Program: Teaches INF656L on SMT solvers and decision procedures.
- Mastère Spécialisé IA: Mobile robotics course covering navigation algorithms and control methods.
Projects & Collaborations:
- Co-developed the DynIbex library for validated ODE solutions.
- Collaborated with Walid Taha on Acumen DSL and exact real arithmetic.
- Participated in OCaml Summer Project for mathematical library development.
Labs/Teams:
Involved in formal methods and embedded systems research groups at ENSTA Paris, focusing on tools like SCADE and Simulink for critical software validation.
