Congratulations to Xiaowu Sun on successfully defending his dissertation “Safe Learning and Verification of Neural Network Controllers for Autonomous Systems.” Xiaowu’s dissertation addresses two profound questions “How to use symbolic/abstraction-based methods to provide formal guarantees of neural network controllers” and “how to use neural networks to design better symbolic/abstraction-based controllers?”. His dissertation resulted in a long list of papers in top conferences and journals, including HSCC, CDC, ICRA, T-RO, and TNNLS. He was finalist in the ACM SIGBED SRC @ CPS-IoT Week 2021! Congratulations again, and good luck with your new career at Uber technologies!