In the field of automated theorem proving, he is known for Wu's method.
בתחום ההוכחה האוטומטית, הוא ידוע על שיטת וו.