LOGIN
中文
Home
Research Field
Open Course
Research Project
Paper
Honor and Reward
Student Information
Enrolment Information
Dongming Wang
Personal Information
More >>
Professor
Educational Experience
1992.10
1999.1
法国格勒诺布尔国立理工学院
计算机科学
指导研究资格学位
1983.9
1987.7
中国科学院系统科学研究所
基础数学
博士
1978.10
1983.7
中国科学技术大学
计算数学
学士
Work Experience
More>>
2003.11
Now
北京航空航天大学
教授
1992.10
Now
法国国家科学研究中心
主管研究员、主任研究员
1988.3
1992.9
奥地利开普勒大学
助理教授
1987.10
1988.2
中国科学院系统科学研究所
助理研究员
Social Affiliations
2008.1
2012.12
《中国科学:信息科学》常务副主编
2008.1
2017.12
Executive Associate Editor-in-Chief for SCIENCE CHINA Information Sciences
2007.1
Now
Editor-in-Chief for Mathematics in Computer Science
Research Focus
符号计算、自动推理、知识管理与发现、机械化数学、代数生物学