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.