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.