China Vitae

Biography

Gao Xiaoshan, male, Han nationality, graduated from the Changsha Institute of Technology and Science with a bachelor's degree in computer science. He earned a PhD in mathematics from the Institute of Systems Science from Academia Sinica

Gao's research interests are varied and have led him to pursue several research topics. He has studied automated reasoning, constructive algebraic geometry, and symbolic computation and computer algebra. He won a first class award in natural science from the Chinese Academy of Sciences in 1995 for his work on automated readable proofs. That honor was followed by an outstanding young scientist award by the academy in 1997.

The winner of an excellent youth grant from the Chinese National Science Foundation in 1998, Gao serves as a professor at the Mathematics Mechanization Research Center and director of the Institute of Systems Science – both at Academia Sinica. In addition, he is the vice-director of the Academy of Mathematics and System Sciences.