Recently, Prof. Dongming Wang was elected as a Member of Academy of Europe in its 2017 nomination and election process. He is a professor in the School of Mathematics and Systems Science of Beihang University, a Cheung Kong scholar and a research director at Centre National de la Recherche Scientifique (CNRS).
As an internationally well-known scholar in symbolic computation and automated deduction, Prof. Wang has published three monographs, three textbooks, more than 100 papers and edited or translated over 20 books. He also worked as General Chair of AISC 2006 and ISSAC 2007, an Editor-in-Chief of Mathematics in Computer Science and an Executive Associate Editor-in-Chief of SCIENCE CHINA Information Sciences. His representative research achievements are referred to as “Wang’s method”, “D.M. Wang simple systems” and so on in scientific and technical literature.
Founded in 1988 by multiple national academies in Europe, the Academy of Europe, or Academia Europaea, is an international scientific association that represents the highest academic level of Europe in natural sciences and technology, letters and humanities and social sciences. Its headquarters is located in London. At present, it has around 4,000 members, including 72 Nobel laureates.
Prof. Wang’s page at the website of AE:http://www.ae-info.org/ae/Member/Wang_Dongming
Reported by Chenqi Mou
Edited by Qing Wang
Translated by Mingzhu Li