Write a Blog >>
FormaliSE 2021
Tue 18 - Fri 21 May 2021
co-located with ICSE 2021
Yanhui Li

Registered user since Fri 10 Jul 2020

Name:Yanhui Li
Bio:

Yanhui Li received the BS, MS and PhD 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 empirical software engineering, software analysis, knowledge engineering and formal methods. He is a member of the IEEE and the ACM.

Affiliation:Department of Computer Science and Technology, Nanjing University
Research interests:empirical software engineering, software analysis, knowledge engineering, formal methods

Contributions

Show activities from other conferences

ICSE 2021-profile
View general profile