Razane Azrou

Commissariat à l'Énergie Atomique et aux Énergies Alternatives

Papers

Total Citations

H-Index

About

Razane Azrou is a researcher at the forefront of robotics verification, dedicated to bridging the gap between autonomous systems and real-world reliability. Her work centers on developing verifiable toolchains for robotics, addressing the critical challenge of ensuring that autonomous robots can perform complex tasks robustly in dynamic, unstructured environments—a leap beyond the simple, controlled settings where most robots currently operate. Azrou’s key contributions focus on formal verification methods for robotic deliberation systems, aiming to mathematically guarantee safety and correctness in decision-making processes. Her most cited paper, "Towards a Verifiable Toolchain for Robotics" (2024), has already garnered 4 citations, signaling growing recognition in the field. This work is pivotal for advancing robot autonomy in applications like search-and-rescue, manufacturing, and autonomous navigation, where failure is not an option. By tackling the verification bottleneck, Azrou is helping to build a foundation for trustworthy autonomous systems, making her a rising voice in robotics research. Her efforts promise to unlock new capabilities for robots in the wild, inspiring students and engineers to rethink how we certify intelligent machines for the unpredictable real world.