Ryan Tong About Computer Engineering, 2023 Engineering & Applied Sciences ryantong@upenn.edu Presenter Jack Zhang Verifiably Robust Sonar Perception View Poster