D. Wang's Biography

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 more than 20 invited talks at international conferences and workshops and has been invited to give lectures and 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 of Journal 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. D. 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.

DongmingWang.org · Last update: August 7, 2017