I am Linyi Li, a second-year PhD Student at Department of Computer Science, University of Illinois at Urbana-Champaign. I am co-advised by Bo Li and Tao Xie.
Currently, I am working on secure machine learning, especially training certifiable neural networks and verifying neural networks. Besides, I have general interests on theory, software engineering, and programming languages.
I got bachelor degree from Department of Computer Science and Technology, Tsinghua University, where I did research on Web API Automated Testing, advised by Xiaoying Bai.