He studied mathematics in Luoyang, Henan in China and obtained his first degree in 1982.
He holds a master's degree in Computer Science from the Institute of Software of the Chinese Academy of Sciences (1988), and a PhD degree from the University of Warwick (1991).