|
Professor Wen-Tsun Wu is a Fellow of the Chinese Academy of Sciences and fellow of the Academy of Sciences for the Developing World. He is presently the Deputy Director and Researcher of the Institute of Systems Sciences, Academy of Mathematics and Systems Sciences at the Chinese Academy of Sciences.
Professor Wu first founded and developed the methods to demonstrate geometric theorem and solve equation by machine and he also advanced a brand-new theory in automatic inference research, both of which had a significant effect on the development of geometry.
He has received several awards: National Natural Science First Prize Award (1956), Mathematics Prize from the Academy of Sciences for the Developing World, and the Chen Jiageng Mathematics and Physics Science Prize. He was awarded the Prominent Scientist Prize by Hong Kong Qiushi Foundation (1994), Herbrand Prize - the highest prize of automated reasoning (1997), and the State Pre-eminent Science and Technology Award (2000).
|
|