ZHANG Ying-zhou (1978-), research fields: software formal E-mail:zhangyz@ njupt.edu.cn. male, Ph.D., lecture; main methods, program slicing; ZHANG Wei-feng (1974-), male, Ph.D., associate professor; main research fields: information retrieving, text processing. ZHOU Guo-qiang (1968-), male, Ph.D. candidate, lecture; main research fields: information security, distributed computing. QIAN Jun-yan (1973-), male, Ph.D., associate professor; main research fields: software engineering, model checking.