Special biographic research
Wen Wei Publishing Company, Ltd. 2002-2006
Who's Who, Current Chinese Leaders
Wen Wei Publishing Company, Ltd. 2003-2005
Biography Revised: 7/17/2003
Career Data Updated: 3/26/2006
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.
