Wang Dongming (1961,7—) is a professor and PhD Supervisor of Beihang University, on leave from French National Center for Scientific Research (CNRS) where he has been Research Director (Directeur de Recherche) since 2005. He is also the Vice President of Sino-French Engineer School of Beihang University.
He received the B.S. degree from University of Science and Technology of China in 1983, the Ph.D. degree from Academia Sinica, China in 1987, and Diplôme d'Habilitation à Diriger des Recherches from Institut National Polytechnique de Grenoble, France in 1999. He was appointed Assistant Professor at Institute of Systems Science, Academia Sinica, China (1987-1988), Assistant Professor at Research Institute for Symbolic Computation, Johannes Kepler University, Austria (1988-1992), Chargé de Recherche at CNRS, France (1992-2005), Cheung Kong Professor of Computer Mathematics at Beihang University, China (2005-2008), and Deputy Director of Beihang Sino-French Engineer School, China/France (2005-2008). He was elected as a member of the Academia Europaea in 2017.
Prof. Wang has authored three monographs, co-authored three textbooks, and also been the (co-)editor/translator of over 20 books and special volumes. Besides, he has published more than 100 papers in international journals and conference proceedings. He has given more than 20 invited talks at international conferences and workshops and has been invited to give lectures for short-term visit in many institutions. He serves as Editor-in-Chief for the journal Mathematics in Computer Science (published by Birkhäuser/Springer) and Executive Associate Editor-in-Chief for the journal SCIENCE CHINA Information Sciences (published by Science China Press and Springer) and on the editorial boards ofJournal of Symbolic Computation (published by Academic Press/Elsevier) and several other journals and book series. He has been involved in the initiation and organization (as organizer, general chair/co-chair, or chair/co-chair/member of the program committees) of over 100 international conferences and workshops and has participated as leader or principal investigator in a number of EU/international research projects. Prof. Wang is recognized for his work and expertise on automated geometric reasoning, polynomial elimination and triangular decomposition, and applications of symbolic computation to differential equations and biological networks.