Jinjin Zhang received his Ph.D. degree in computer science and technology from the Institute of Computing Technology , Nanjing University of Aeronautics and Astronautics, Nanjing, in 2011. He is an assistant professor of Nanjing Audit University, Nanjing. His current research interests include software engineering and logic in computer science.
Jinjin Zhang received his Ph.D. degree in computer science and technology from the Institute of Computing Technology , Nanjing University of Aeronautics and Astronautics, Nanjing, in 2011. He is an assistant professor of Nanjing Audit University, Nanjing. His current research interests include software engineering and logic in computer science.