FormaliSE 2024
Fri 12 - Sun 21 April 2024 Lisbon, Portugal
co-located with ICSE 2024
Yanhui Li

Registered user since Fri 10 Jul 2020

Name:Yanhui Li
Bio:

Yanhui Li received the BS, MS, and Ph.D. degrees in Computer Science from Southeast University, China. He is currently an assistant professor in the Software Institute at Nanjing University. His main research interests include AI testing, empirical software engineering, software analysis, knowledge engineering, and formal methods. He is a member of the IEEE and the ACM.

Country:China
Affiliation:Nanjing University
Research interests:AI Testing and Debugging, Mutation Testing, Empirical software engineering, Software analysis, Knowledge engineering, Formal methods

Contributions

Show activities from other conferences

ICSE 2024-profile
View general profile