Mo Chen - Simon Fraser University Autonomous mobile robots are becoming pervasive in everyday life, and guarantees on safety and performance have become increasingly important. In this seminar, we take a multi-pronged approach for tackling the computational challenges of Hamilton-Jacobi (HJ) reachability: dimensionality reduction, higher-level logic, and low-level software and hardware optimizations. In addition, we will highlight the importance of addressing the computational challenges with recent novel applications of HJ reachability.