Papers
7
Total Citations
109
H-Index
4
About
Raju Halder is a robotics researcher whose work spans formal verification, bio-inspired design, and secure autonomous systems. His most impactful contributions focus on ensuring the reliability of robotic applications through formal methods—his 2017 paper on verifying ROS-based systems using timed-automata has accumulated 78 combined citations, establishing a foundation for safety-critical robot software. Halder has also made notable advances in bio-inspired robotics, leading the development of a lizard-inspired wall-climbing robot that uses pressure-sensitive adhesion for vertical locomotion, a design detailed in his 2022 publication (14 citations). His research extends into swarm intelligence, where he explores blockchain-based trust mechanisms for robotic swarms (2023, 11 citations), and into practical surveillance applications, including lightweight deep learning for weapon detection on mobile robots and secure communication systems. By integrating formal verification, biomimicry, and cybersecurity, Halder addresses both theoretical and applied challenges in robotics, making his work relevant for students and researchers interested in dependable, nature-inspired, and secure robotic systems.
Research Focus
Key Achievements
Top Papers
- 1Formal Verification of ROS-Based Robotic Applications Using Timed-Automata57 citations · 2017
- 2Formal verification of ROS-based robotic applications using timed-automata21 citations · 2017
- 3
- 4Making Robotic Swarms Trustful: A Blockchain-Based Perspective11 citations · 2023
- 5
- 6
- 7