FormaliSE 2023
Dates to be announced Melbourne, Australia
co-located with ICSE 2023
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 Department of Computer Science and Technology 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:empirical software engineering, software analysis, knowledge engineering, formal methods

Contributions

2023

Show activities from other conferences

ICSE 2023-profile
View general profile