Siddhartha Bhattacharyya

Algebra Bernays University, Florida Institute of Technology

Papers

Total Citations

H-Index

About

Siddhartha Bhattacharyya is a researcher working at the intersection of artificial intelligence, robotic process automation, and formal verification for autonomous systems. His work addresses some of the most pressing challenges in modern robotics and intelligent automation, particularly the convergence of AI techniques with robotic process automation (RPA) — a rapidly growing field with enormous implications for industry and enterprise workflows. His 2023 paper on the confluence of AI and RPA has already garnered 30 citations, signaling strong early interest from both academic and applied communities. Equally significant is his 2022 contribution exploring formal verification methods for multi-robot autonomous systems, in which he investigates how mathematically rigorous verification frameworks can be translated into ROS-based simulations to assure the safe and reliable behavior of distributed robotic deployments. This work bridges the often-challenging gap between theoretical correctness guarantees and practical robotic implementation, a contribution of growing importance as autonomous systems become more prevalent in safety-critical environments. For students and researchers navigating the fields of intelligent automation, autonomous robotics, or formal methods, Bhattacharyya's scholarship offers valuable frameworks and insights into ensuring both the capability and trustworthiness of next-generation robotic systems.