Andy Blight
Papers
1
Total Citations
2
H-Index
1
About
Dr. Andy Blight is a leading researcher in trustworthy autonomous systems, with a primary focus on the formal verification and safe implementation of robotic software architectures. His work bridges the critical gap between high-level formal modelling and practical deployment, particularly for safety-critical drone missions. Blight’s major contribution lies in developing rigorous, model-driven approaches that ensure reliability in autonomous operations such as search and rescue, surveillance, and firefighting. His most-cited paper, "Trustworthy ROS Software Architecture for Autonomous Drones Missions: From RoboChart Modelling to ROS Implementation" (2024, 2 citations), exemplifies his methodology, demonstrating how formal models can be systematically transformed into dependable Robot Operating System (ROS) code. This work is pivotal for reducing risks and costs in scenarios where human personnel are replaced by drones. Blight’s research directly addresses the pressing need for verifiable trust in autonomous systems, making him a key figure in the advancement of safe, real-world robotics. His achievements are foundational for students and engineers seeking to build robust, certifiable autonomous platforms.
Research Focus
Key Achievements
Top Papers
- 1