Jingzhong Zhang, the diretor of ARCC, academician of CAS, mathematician, computer scientist, former president of Mathematics Education Council of China Higher Education Society and former director of Chenddu Institute of Applications, CAS, mainly focuses on the areas of Automated Reasoning, theory proving, distance geometry, mathematics education with publications more than 150 papers and books. He was awarded National Invention 2nd Prize in 1982, the first prize of Natural Science Award of CAS in 1995, 2nd prize of National Natural Science Award in 1997, 2nd prize of national science and Technology Progress Award in 2005 and 2009.