معرفی
Alexandre Chapoutot is a Lecturer and researcher at ENSTA Paris within the Computer Science and Systems Engineering Unit (U2IS). He leads the Semantics of Hybrid Systems (SSH) research group and serves as Head of the 2nd year specialization of the engineering cycle in Computer Science. His academic work bridges theoretical computer science with practical engineering applications, focusing on the rigorous analysis and verification of complex systems.
Chapoutot's research interests span the verification of cyber-physical systems, with a strong emphasis on interval analysis and mobile robotics. He has made significant contributions to the static analysis of programs through abstract interpretation, particularly for improving the accuracy of floating-point arithmetic calculations. His work bridges theoretical computer science with practical engineering applications, developing methods that ensure the reliability and safety of autonomous systems. The research has direct applications in robotics, control systems, and safety-critical embedded software where numerical precision and system correctness are paramount.
His recent publications reveal a strong trend toward the integration of formal methods with practical robotics applications. The work spans theoretical foundations in hybrid systems verification, practical implementations for robotics navigation and control, and innovative approaches to combining different verification techniques. A significant portion of his recent work focuses on Signal Temporal Logic applications, trajectory optimization, and the development of verified algorithms for autonomous systems. The publications demonstrate a consistent progression from theoretical foundations to practical implementations with real-world robotics applications.
Chapoutot actively supervises multiple PhD students working on cutting-edge research topics at the intersection of formal methods and robotics. His research group collaborates extensively with other institutions and researchers, as evidenced by the numerous co-authored publications across various domains. He contributes to the development of the DynIbex software library, which provides validated solutions for ordinary differential equations using Runge-Kutta methods.
His laboratory work centers around the Semantics of Hybrid Systems (SSH) group, which develops theoretical frameworks and practical tools for the analysis and verification of cyber-physical systems. The group's research spans formal methods, numerical analysis, and robotics, with a strong emphasis on developing mathematically rigorous approaches that can be applied to real-world engineering problems.
