China Vitae

Biography

Wu Wenjun, male, Han nationality, is a native of Shanghai. He was born in 1919 and graduated from Jiaotong University in 1940. He spent two years studying for a doctorate degree in France and received it in 1949.

Beginning in the 1950s, Wu has served as a fixture in Chinese mathematics circles. A former mathematics professor at Beijing University, Wu served as a research fellow at the newly established Research Institute of Mathematics. He was later elected as an academician of the Chinese Academy of Sciences in 1957.

In 1990, Wu helped establish the Mathematics Mechanization Research Center at the Research Institute of System Sciences of the Chinese Academy of Sciences. Wu remained affiliated with the center by serving as its director. The following year, in 1991, the Third World Academy of Sciences elected him as an academician. From 1992 to 1996, He directed the mathematics and physics division of the Chinese Academy of Science.

As a result of all of his efforts in the mathematics field, Wu has received several awards from his peers – beginning in 1956. That year, he was given a National Natural Science First Prize Award. He has won the science congress prize from the National Science Congress, the mathematics prize from the Third World Academy of Sciences, and the Chen Jiageng Mathematics and Physics Science prize. In 1997, Wu was awarded the Herbrand Prize – the highest prize of automated reasoning

A veteran of the Chinese political scene, Wu was a member of the standing committee of the 5th through 8th CPPCCs.