Tiago Neto

Papers

Total Citations

H-Index

About

Tiago Neto is a researcher at the forefront of software engineering for robotic systems, with a particular focus on static analysis and the Robot Operating System (ROS). His work addresses the critical challenge of ensuring reliability and safety in increasingly complex robotic software. Neto’s most notable contribution is his pioneering application of software static analysis techniques to the ROS ecosystem, as demonstrated in his landmark paper "Applying Software Static Analysis to ROS: The Case Study of the FASTEN European Project" (2019, 5 citations). This work, conducted within the prestigious FASTEN European Project, introduced novel methods for automatically detecting bugs, vulnerabilities, and architectural flaws in ROS-based code—a domain where traditional dynamic testing often falls short. By bridging the gap between industrial-strength static analysis tools and the unique, distributed nature of ROS, Neto has provided developers with powerful means to preemptively identify defects before runtime. His research has laid essential groundwork for building more dependable autonomous systems, from service robots to self-driving vehicles. Neto’s contributions are particularly impactful for students and engineers seeking to integrate rigorous software quality assurance into the fast-paced world of robotics development.