1988- 1990, postdoctoral fellow at the University of Texas, Texas, USA.

1993- 1996, visiting scholar at Wichita state university, Kansas, USA.

1988- 1999 institute of systems, China academy of sciences

1999- Institute of Mathematics and System Science, China Academy of Sciences

Research interests include mathematical mechanization, symbolic computation, automatic reasoning, information security and intelligent software development.

Award-winning honor: First Prize of Natural Science of China Academy of Sciences, 1995.

Second prize of national natural science, 1997.

First Prize of Young Scientists of China Academy of Sciences, 1997.

Young and middle-aged experts with outstanding contributions from China Academy of Sciences, 1998.

Qiushi Outstanding Young Scholar Award (Hong Kong Qiushi Foundation), 1999.

The 4th Outstanding Youth of China Academy of Sciences, 1999.

The 4th Asian Mathematical Technology Conference (ATCM'99) "Best Paper Award", 1999.

China Academy of Sciences Award for Outstanding Young Scholars in English in 2000.

In 2003, the first China Association for Science and Technology won the Outstanding Academic Paper Award.

Outstanding Achievement Award of Institute of Mathematics and Systems Science in 2003.

Advanced worker of China Academy of Sciences in 2006.

"Zhongchuang Software Talent Award" (Zhongchuang Software Foundation), 2006.

Outstanding Contribution Award of the 9th Wu Wenjun Artificial Intelligence Science and Technology Award, 20 19.

Research Project National Key Basic Research Development Plan (973) Project: "Mathematical Mechanization Method and Its Application in Information Technology", 2004 -2009, chief scientist.

National key basic research development plan (973) project: "Mathematical mechanization and automatic reasoning platform", 1999 -2003, chief scientist.

National Outstanding Youth Fund, 1998 -2000.

Head of the subproject of "Mathematical Mechanization and Its Application" in the National Climbing Plan, 1997.

Person in charge of the subproject "Machine Proof and Its Application" of the National Climbing Plan, 1992-1996.

Head of Wu Method Software Research, a sub-project of "Intelligent Computer" of the 863 Program, 199 1-1993.

American Natural Science Foundation CCR-9 1 17870, 1992-1994, "Mechanics Theory in Geometry and Mechanics", the main participant.

American Natural Science Foundation CCR-9420857, 1995-1998, Automatic Generation of Readable Proof in Geometry, main participant.

American Natural Science Foundation CCR-020 1253, 2002 -2004, "Automatic Geometric Reasoning and fir Graph Generation Method", * * * and CO-PI.

Academic position: Vice President of China Society of Systems Engineering.

Chinese mathematical society, executive director.

Member of the Steering Committee of the International Conference on Symbols and Algebra.

Deputy editor-in-chief of system science and mathematics

Journal of System Science and Complexity, Deputy Editor-in-Chief

Editorial Board of Journal of Symbolic Computing

International journal of computer, communication and electronics. editorial board

Member of Editorial Board of Electronic Journal of Mathematics and Technology

Editorial Committee of Journal of Computer Aided Design and Graphics

Editorial Committee of China Image and Graphics Magazine.

Scientific research deeds Academician Wu Wenjun of the Institute of Mathematics and System Science of China Academy of Sciences won the highest national science and technology award for his pioneering proof of mathematical mechanization, and he is a great scientist known to all women and children. Now, Academician Wu Wenjun is over 80 years old, and the career he started needs someone to inherit and carry forward. His students Gao Xiaoshan and Gao Xiaoshan's students, who are part of the Institute of Mathematics and Systems of Chinese Academy of Sciences, are his successors. They are pushing the theory of predecessors to be applied and pushed to people's work and life.

Gao Xiaoshan said that Wu Lao's theory and some geometric theorems proved by machines in the early days are often difficult for professionals to understand. In order to make people understand these research contents in a short time, in the 1990s, Gao Xiaoshan cooperated with American scholars, combined with Wu Lao's method, and tried to prove the geometric theorem in mathematics in different ways, so that people at different levels could easily understand different levels of mathematical mechanization and apply it to the teaching field.

The rapid development of computer technology makes it possible to mechanize human mental work, which can provide powerful tools for scientific research and high-tech research, so that researchers can get rid of tedious or even incompetent work and conduct innovative research at a higher level, thus improving the efficiency of knowledge innovation. The research of mathematical mechanization not only puts forward strategic ideas for the development of mathematics, but also plays an important role in the innovation of information technology.

The so-called "mathematical mechanization" is to transform equation solving and theorem proving in mathematics into a form acceptable to computers, and use the powerful computing function of computers to solve theoretical problems in mathematics and high technology. In other words, it is to use computers to do mathematical research or make computers more intelligent.

It was in the 1970s that Wu Wenjun solved the problem of proving geometric theorems by machines in theory, thus winning high praise at home and abroad. Gao Xiaoshan, on the other hand, turned his theory into reality in a few seconds on the computer in the 1980s, which narrowed the distance between the theory of mathematical mechanization and human work and life. On this basis, Gao Xiaoshan invented a reasoning method called "structural database" to solve the geometric symmetry problem in machine proof and improve the quality of machine proof. Soon, his method was widely used in physics, robotics and teaching.

Time flies, at the turn of the century, Gao Xiaoshan, as the chief scientist, undertook the research of the national key basic planning project "Mathematical Mechanization and Automatic Reasoning Platform", led students to carry out mathematical mechanization in new fields such as differential geometry, tried to solve key theoretical and technical problems in information processing, computer graphics and vision, and numerical control technology, and established an automatic reasoning platform.

He explained that mathematical science is the theoretical basis of natural science and intersects with chemistry, theoretical physics, information science, computer science and other disciplines. Mathematics is also the theoretical basis of high technology, which is particularly important for information science and information technology.

Computer science is regarded as the science of algorithm, and the essence of algorithm research is mathematical problems. The application of computer in many fields, such as image transmission and compression, complex surface modeling and biological information, requires new mathematical methods. These challenges provide unprecedented opportunities for the rapid development of mathematics, and the research of mathematics will provide powerful tools for solving many high-tech problems. The project of "Mathematical Mechanization and Automatic Reasoning Platform" they undertake is to use the powerful computing function of computers to solve mathematical problems for people.

Through research, the team he led developed the world's leading inequality machine proof software; In the aspect of image compression, a compression and reproduction system with excellent performance is constructed, and the compression ratio is as high as 240 times. China mosaic algorithm is self-established and can be used for image hiding and camouflage. These results can be used not only in computer aided design, but also in structural drawing of protein.

Gao Xiaoshan won the Outstanding Young Scholar Award of the Qiushi Foundation of Hong Kong, and the Best Paper Award of the 4th Asian Computer Mathematics Technology Conference 1999.

Gao Xiaoshan said, "The key to doing mathematics is to have your own views. You don't have to pursue hot spots, but do what you think is important, which may become a hot spot in the future. The frontier of mathematical research is not rapidly changing, but relatively stable. Others have been gnawing at unsolved problems for decades, which requires more effort and stupidity. Success is not accidental, especially perseverance, and of course it is also related to ability. "

Gao Xiaoshan succeeded. So why is he so lucky? From the learning methods that Gao Xiaoshan told middle school alumni, people can understand how he studies and does things.

He said, "Everyone's learning style and cognitive style are different, and the methods are not exactly the same, but there are three basic points: cultivating interest, reviewing in time, and being diligent in thinking."

Regarding interest, Mr. Guo Moruo has a famous saying: "People who are interested are present". Interest in learning is the internal motivation of learning activities. If a student is interested in learning, he will regard knowledge as a gorgeous flower in the garden, enjoy it with rapt attention, pick it happily, and think hard in order to explore the mystery of knowledge.

Reviewing in time is an important learning process. There is a curve in psychology called Ebbinghaus forgetting curve, which is a curve about forgetting law obtained through many experiments and investigations. This curve shows that people's forgetting process has the characteristics of fast first and then slow. Generally speaking, people's forgetting has already started from the memory. After memorizing for 20 minutes, you can forget 4 1.8%, so review before you forget or forget little knowledge. If the interval is long, it is almost equivalent to relearning.

"Learning without thinking is useless", and the key to learning lies in thinking. There is a sentence in the preface of Hawking's A Brief History of Time: "The essence of science is doubt." Therefore, learning to ask questions and learn to think is the key to success in learning.

It can be seen that Gao Xiaoshan is a very diligent thinker. Perhaps this is the real secret of his success.