Arrvindh Shriraman

Papers

Total Citations

H-Index

About

Arrvindh Shriraman is a leading researcher at the intersection of formal verification, real-time systems, and reconfigurable computing. His primary focus is on overcoming the computational barriers that prevent safety-critical autonomous systems from being formally verified in real time. Shriraman’s most impactful work tackles the “curse of dimensionality” inherent in Hamilton-Jacobi (HJ) reachability analysis—a powerful but computationally expensive method for verifying the safety of nonlinear systems under disturbances. By pioneering the use of Field-Programmable Gate Arrays (FPGAs), he has demonstrated that this complex analysis can be accelerated to run in real time, a breakthrough for autonomous vehicle and robotics safety. His highly cited 2021 paper, “Real-Time Hamilton-Jacobi Reachability Analysis of Autonomous System With An FPGA,” has garnered 7 citations, establishing a new paradigm for hardware-accelerated formal verification. This work builds on his earlier 2020 study, which laid the groundwork for real-time FPGA-based verification. Shriraman’s contributions are critical for bridging the gap between theoretical safety guarantees and practical deployment, making him a key figure in the future of trustworthy autonomous systems.