FormaliSE 2023
Dates to be announced Melbourne, Australia
co-located with ICSE 2023
Linyi Li

Registered user since Sat 6 Jun 2020

Name:Linyi Li
Bio:

PhD Candidate in UIUC, working on software testing and verification of neural networks.

Country:United States
Affiliation:University of Illinois at Urbana-Champaign
Personal website: http://www.linyil.com
Research interests:Software Testing, Security, Machine Learning

Contributions

Show activities from other conferences

ICSE 2023-profile
View general profile