Reza Hojabr
Papers
2
Total Citations
9
H-Index
2
About
Reza Hojabr is a researcher at the forefront of real-time safety verification for autonomous systems, specializing in Hamilton-Jacobi (HJ) reachability analysis. His work directly tackles the critical challenge of ensuring autonomous vehicle safety through formal verification methods. Hojabr’s major contribution lies in overcoming the notorious “curse of dimensionality” that plagues HJ reachability—a powerful but computationally heavy technique for analyzing nonlinear systems with 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 practical deployment in self-driving cars and robotics. His most cited work, "Real-Time Hamilton-Jacobi Reachability Analysis of Autonomous System With An FPGA" (2021, 7 citations), along with its predecessor (2020, 2 citations), establishes a new paradigm for hardware-accelerated formal verification. This achievement bridges the gap between theoretical safety guarantees and real-world computational constraints, making Hojabr a key innovator in the mission to build provably safe autonomous systems.
Research Focus
Key Achievements
Top Papers
- 1
- 2Real-Time Formal Verification of Autonomous Systems With An FPGA2 citations · 2020