CV

Education

• Ph.D in Computer Science, Northeastern University, 2029 (expected)
• M.S. in Computer Science, Northeastern University, 2024
• B.S., Zhejiang University, 2020

Publications

• Isha Chaudhary, Shuyi Lin, Cheng Tan, Gagandeep Singh. Specification Generation for Neural Networks in Networking Systems. ICML 2025 Workshop ML4Wireless.
• Shuyi Lin, Haoyu He, Tianhao Wei, Kaidi Xu, Huan Zhang, Gagandeep Singh, Changliu Liu, and Cheng Tan. NN4SysBench: Characterizing Neural Network Verification for Computer Systems. NeurIPS 2024, Datasets and Benchmarks Track.