I gave a talk about certifiable perception at the Robotics and Autonomous Systems Seminar of the Hong Kong University of Science and Technology (HKUST).