W 1951 wrócił do Chin, gdzie został zatrudniony na Uniwersytecie Pekińskim, a w 1953 przeniósł się do Chińskiej Akademii Nauk. W tym czasie badał klasyczne problemy topologiczne. Podczas rewolucji kulturalnej Wu został wysłany do pracy w fabryce produkującej komputery. Doprowadziło to do zmiany jego zainteresowań naukowych – zaczął badać możliwość mechanicznego dowodzenia twierdzeń. Opracowana przez niego metoda znana jest jako metoda Wu.
Wypromował 6 doktorów.
Wyróżnienia W 1956 Wu został członkiem Chińskiej Akademii Nauk. W 1991 został wybrany do The World Academy of Sciences (TWAS), otrzymując też jej nagrodę matematyczną. W 1997 na Conference on Automated Deduction przyznano mu Herbrand Award.
W 2001 otrzymał od rządu chińskiego inauguracyjną State Supreme Science and Technology Award.
W 2006 otrzymał (razem z Davidem Mumfordem) Nagrodę Shawa za wkład w nową interdyscyplinarną dziedzinę – mechanizację matematyki (mathematics mechanization).
W roku 1986 był prelegentem sekcyjnym na Międzynarodowym Kongresie Matematyków.
Przypisy
Kategoria:Chińscy matematycy XX wieku Kategoria:Chińscy matematycy XXI wieku Kategoria:Prelegenci ICM Kategoria:Laureaci Nagrody Shawa – matematyka Kategoria:Urodzeni w 1919 Kategoria:Zmarli w 2017