D. Wang's Biography

Dongming Wang is Professor at Beihang University, 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), Deputy Director of Beihang Sino-French Engineer School, China/France (2005-2008), and Bagui Scholar at Guangxi University for Nationalities, China (2014-2019). 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 & 2019 and International Conference on Artificial Intelligence and Symbolic Computation 2006 & 2018 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) from 2008 to 2017 and as founding Managing Editor of Mathematics in Computer Science (published by Birkhäuser/Springer) from 2007 to 2016 and is Editor-in-Chief of Mathematics in Computer Science and Beihang Series in Mathematical Sciences (published by 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.

DongmingWang.org · Last update: October 16, 2019 | D. Wang's biographies at Academia Europaea, Wikipedia, ٶȰٿ, and Beihang University