Wu Wenjun, born on May 12, 1919 in Shanghai. Famous mathematician, senior academician, pioneer of intelligent science research in China. Graduated from department of mathematics, Shanghai Jiao Tong University in 1940. In 1949, he received a doctorate in science from the University of Strasbourg in France. He was honorary director of institute of systems science, Chinese academy of sciences, President of Chinese mathematical society, and director of mathematical department, Chinese academy of sciences. In 1990, after the establishment of the mathematical mechanization research center, Mr. Wu was served as the director. He was also elected an academician of the Chinese academy of sciences in 1957 and was elected member of the third world academy of sciences in 1991.
Prof. Wu's research interests include algebraic topology, algebraic geometry, game theory, history of mathematics, and mathematical mechanization. In 1956, he won the first prize in China's State Natural Science Award for his outstanding achievements in the field of topology. And in 1980 Mr.Wu was awarded the first prize of the Distinguished Scientific Achievement Award. In 1992, he was awarded a prize of the Third World Academy of Sciences in Mathematics. And in 1993, he was won Tan Kah Kee Science Awards and won the Qiushi Science Foundation Outstanding Scientist A ward in 1994. In 1997, Mr. Wu was awarded Herbrand Automatic Reasoning Outstanding Achievement Award for his pioneering contribution in mathematical mechanization research. In 2000 won the first Highest Science and Technology Awards and in 2006 won the Shaw Prize.
Mr. Wu is the pioneer of artificial intelligence research in China. Mr. Wu is the honorary chairman of the 4th and 5th steering committee of CAAI. The method of proving machine theorem proposed by him in his early years is known as "Wu method" in the world. The research on mathematical mechanization and mental labor mechanization has become an important goal of artificial intelligence research in China and the world.