Place Bâtiment Nord Étage X Bureau X
Specialist in system control, stability analysis, and formal methods and their applications. Collaborated with the PI in two projects and in the co-supervision of a PhD thesis dealing with the guaranteed correct-by-design control for switched dynamical systems. He will be mainly involved in WP2.