Sylvie Putot Professor of Computer Science, Ecole 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

I am professor in the CS Department of Ecole Polytechnique, the DIX. I am teaching various courses dedicated to robotics, modelling and verification, and coordinating with Eric Goubault the Design of Intelligent Autonomous Systems (DIAS) track of the 3rd year CS programme (here are some slides and a short video presenting the DIAS track (April 2020)).

• INF472R. Experimental module (Modal) Robots and Drones
• INF575. Safe Intelligent Systems, dedicated to the modeling and verification of hybrid and autonomous systems.

IP Paris's Master on Cyber-Physical Systems

• INF657G/ISC621 Inductive verification of programs and hybrid systems

Master Artificial Intelligence & Advanced Visual Computing

• INF641. Robot Motion Planning, Verification and Control of Hybrid Systems