Renato Carvalho

About

Dr. Renato Carvalho is a leading researcher in the safety verification of robotic systems, with a primary focus on the Robot Operating System (ROS). His most-cited work, "Verification of system-wide safety properties of ROS applications" (2020, 22 citations), addresses a critical gap in the deployment of robots in safety-critical domains. Carvalho’s key contribution lies in developing techniques to assess the functional safety of highly configurable robots built from third-party modules, a challenge that has hindered the adoption of proper safety practices in ROS. By advocating for and implementing verification methods that ensure system-wide safety properties, his work provides a foundational framework for making ROS-based robots reliable in real-world applications. This research is particularly impactful for students and engineers seeking to bridge the gap between modular software development and rigorous safety assurance. Carvalho’s efforts are pivotal in promoting the adoption of verification techniques in the robotics community, directly influencing how safety is integrated into the design and deployment of autonomous systems.

Research Focus

Key Achievements

Top Papers

1. 1
   Verification of system-wide safety properties of ROS applications

   22 citations · 2020

Key Collaborators

Contact & Links