I am an Assistant Professor at ENSTA Paris (U2IS department) since 2022.
My current research interests include:
Robotics with safety guarantees.
Formal verification.
Multi-agent systems.
Abstraction-based control design.
From 2021 to 2022, I was a postdoctoral researcher at LIX, École Polytechnique, developing control synthesis algorithms and validation methods to ensure the safe operation of drones in swarms on land, in the air, and at sea. I earned my Ph.D. from the University of Paris-Saclay (2018–2021), where I designed safety controllers using abstraction-based techniques, and my Master’s from Lomonosov Moscow State University, focusing on using level set techniques for reachability analysis.
Please find the complete list of my publications at the following link.
NEWS!
01.10.2025: Started four-month research visit with CHROMA team at Inria Lyon.
24.06.2025: Co-organized a workshop on Certified Control Synthesis for Robotics Systems at European Control Conference.
30.06.2025: Attended Journées Francophones sur les Systèmes Multi-Agents 2025. My Ph.D. student, Mathis Fleuriel, presented a paper there.
23.06.2025: Our paper Exploring Underground Environments by Deploying and Reconfiguring a Chain of Visually Connected UAVs has been accepted to European Conference on Mobile Robots.
10.06.2025: Attended GDR Robotique Workshop on Muti-robot Systems. My M2 intern, Yacine El Yamani, presented a poster there.
03.04.2025: Organized a Lab Day at U2IS, ENSTA Paris.
07.03.2025: Our paper Predictive Safety Shield for Dyna-Q Reinforcement Learning has been accepted to European Control Conference.
04.11.2024: Started one-week reseach visit with Cyber-Physical Systems Group, group of Matthias Althoff, TUM.
11.07.2024: Our paper Robust Deterministic Abstractions for Supervising Discrete-Time Continuous Systems has been accepted to International Conference on Reachability Problems.
04.06.2024: Co-organised a two-day Hi! PARIS Symposium on Robotics, AI and Society.