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.