ming ▁( ; ▁born ▁July ▁ 1 9 6 1 ▁in ▁An hui , ▁China ) ▁is ▁Research ▁Director ▁( Direct eur ▁de ▁Re cher che ) ▁at ▁the ▁French ▁National ▁Center ▁for ▁Scient ific ▁Research ▁( C entre ▁National ▁de ▁la ▁Re cher che ▁Scient ifique , ▁C N RS ). ▁He ▁was ▁awarded ▁W en - ts ün ▁Wu ▁Chair ▁Professor ▁at ▁the ▁University ▁of ▁Science ▁and ▁Technology ▁of ▁China ▁in ▁ 2 0 0 1 , ▁Ch ang ji ang ▁Sch olar ▁of ▁the ▁Chinese ▁Ministry ▁of ▁Education ▁in ▁ 2 0 0 5 , ▁and ▁Bag ui ▁Sch olar ▁of ▁Gu ang xi ▁Z hu ang ▁Aut onom ous ▁Region , ▁China ▁in ▁ 2 0 1 4 . ▁He ▁was ▁elected ▁Member ▁of ▁the ▁Academia ▁Europ ae a ▁in ▁ 2 0 1 7 . ▁ ▁Wang ▁worked ▁on ▁algorithm ic ▁elim ination ▁theory , ▁geometric ▁reasoning ▁and ▁knowledge ▁management , ▁and ▁applications ▁of ▁symbol ic ▁computation ▁to ▁qual itative ▁analysis ▁of ▁differential ▁equations . ▁In ▁ 1 9 9 3 ▁he ▁proposed ▁an ▁elim ination ▁method ▁for ▁tri angular ▁decomposition ▁of ▁polynomial ▁systems , ▁which ▁has ▁been ▁referred ▁to ▁as ▁Wang ' s ▁method ▁and ▁compared ▁with ▁other ▁three ▁methods . ▁Later ▁on ▁he ▁introduced ▁the ▁concepts ▁of ▁regular ▁systems ▁and ▁simple ▁systems ▁and ▁de vised ▁algorithms ▁for ▁regular ▁and ▁simple ▁tri angular ▁decom pos itions . ▁He ▁also ▁developed ▁a ▁package , ▁called ▁E psilon , ▁which ▁implements ▁his ▁methods . ▁ ▁Wang ▁popular ized ▁the