Dongming Wang is Professor at Beihang University and Guangxi University for Nationalities, China, on leave from French National Center for Scientific Research (CNRS) where he has been Research Director (Directeur de Recherche) since 2005. He received the B.Sc. degree in 1983 from University of Science and Technology of China, the Ph.D. degree in 1987 from Academia Sinica, China, and Diplôme d'Habilitation à Diriger des Recherches in 1999 from Institut National Polytechnique de Grenoble, France. 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 Member of the Academia Europaea in 2017.
Author of three monographs, co-author of three textbooks, and (co-)editor/translator of over 20 books and special volumes, D. Wang has published more than 100 papers in international journals and conference proceedings. He has given over 30 invited talks at international conferences and workshops and has been invited to give lectures and for short-term visit in many institutions. He served as General Chair of International Symposium on Symbolic and Algebraic Computation 2007 and International Conference on Artificial Intelligence and Symbolic Computation 2006 and 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. He served as Executive Associate Editor-in-Chief of SCIENCE CHINA Information Sciences (published by Science China Press and Springer) and is founding Editor-in-Chief and Managing Editor of Mathematics in Computer Science (published by Birkhäuser/Springer) and on the editorial boards of Journal of Symbolic Computation (published by Academic Press/Elsevier) and several other journals and book series. He has participated as leader or principal investigator in a number of EU/international research projects. D. Wang is recognized for his work and expertise on automated geometric reasoning, algorithmic elimination theory and triangular decomposition, and applications of symbolic computation to differential equations and biological networks.