About Jian Zhang’s work
Based at the Chinese Academy of Sciences, Jian Zhang held a Croucher Visitorship at Hong Kong University of Science and Technology from December 1998 to June 1999.
Biography
Zhang Jian graduated from the University of Science and Technology of China in 1988, received his Ph.D. from the Institute of Software Research, Chinese Academy of Sciences in 1994, and has been a researcher since 1999. Zhang's main research interests include: automatic reasoning, constraint solving, program static analysis and error detection, and software test data generation. Zhang has won the Young Scientist Award of the Chinese Academy of Sciences, the Zhongchuang Software Talent Award, and the National Science Foundation for Distinguished Young Scholars.