Richard Redpath
Papers
2
Total Citations
26
H-Index
2
About
Richard Redpath’s research lies at the intersection of swarm robotics, augmented reality, and formal methods for robotic software engineering. His most influential work, “ARDebug: An Augmented Reality Tool for Analysing and Debugging Swarm Robotic Systems” (2018, 23 citations), addresses a critical bottleneck in collective robotics: the lack of intuitive tools for observing and diagnosing emergent swarm behaviors. By developing an open-source, cross-platform augmented reality interface, Redpath enabled researchers to visualize and interact with swarm dynamics in real-time, bridging the gap between simulation and physical deployment. This contribution has been foundational for practitioners seeking to debug complex multi-robot systems. More recently, Redpath has advanced the rigorous design of robotic controllers through his work on RoboChart and RoboTool (2024, 3 citations), which provides a formal framework connecting high-level design diagrams to verified, implementable code. This approach ensures that robotic software is not only correctly specified but also provably reliable, addressing a long-standing challenge in safety-critical robotics. Redpath’s dual focus on practical debugging tools and formal verification methods marks him as a key figure in making swarm and autonomous systems both more accessible and more trustworthy.
Research Focus
Key Achievements
Top Papers
- 1
- 2