ECE PhD Student Wins 2021 VNN-COMP Award
Kaidi Xu, PhD’21, computer engineering, from Assistant Professor Xue “Shelley” Lin’s lab, got the Top Highest Score Award and Category Winner during the 2nd International Verification of Neural Networks Competition (VNN-COMP’21) at the 33rd International Conference on Computer-Aided Verification. The work was done in collaboration with researchers from CMU, Columbia University, and UCLA.