Elena Vanneaux

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.