Abhishek Anand

Papers

Total Citations

H-Index

About

Abhishek Anand is a researcher at the intersection of robotics, formal verification, and constructive mathematics. His most influential work, "ROSCoq: Robots Powered by Constructive Reals" (2015, 36 citations), pioneers a novel approach to robot control by leveraging constructive real numbers within the Coq proof assistant. This contribution bridges the gap between rigorous mathematical proofs and practical robotic systems, enabling formally verified, real-time control of autonomous agents. Anand's research demonstrates how constructive reals can replace floating-point approximations, ensuring correctness and safety in critical robotic applications. His work has been recognized for its innovative fusion of theoretical computer science and engineering, inspiring further exploration into verified robotics. Beyond his flagship paper, Anand continues to advance the field by developing tools that integrate formal methods into real-world systems, making him a key figure in the growing domain of trustworthy autonomous systems.