Julien Brunel

Université Fédérale de Toulouse Midi-Pyrénées, Office National d'Études et de Recherches Aérospatiales

Papers

Total Citations

H-Index

About

Julien Brunel is a leading researcher at the intersection of formal verification, robotics, and software engineering. His work focuses on ensuring the reliability and safety of complex robotic systems through rigorous mathematical methods. Brunel’s major contributions include pioneering cross-layer formal verification techniques for robotic systems, a critical advancement given the modular and layered nature of modern robotics architectures. His 2024 paper on this topic, already garnering 2 citations, addresses the imperative need for behavioral guarantees in robots interacting with humans or performing critical tasks. Additionally, Brunel has made significant strides in improving code quality within the Robot Operating System (ROS) ecosystem. His 2018 work introduced a temporal extension of first-order logic to detect and prevent defects in ROS packages, directly tackling the challenges posed by increasingly complex robotics applications in transport, farming, and healthcare. With a citation count reflecting the growing importance of his foundational methods, Brunel’s research provides essential tools for developers and engineers seeking to build trustworthy, high-assurance robotic systems.