导师信息#北京航空航天大学数学与系统科学学院应用数学导师介绍#王东明

导师详细信息

姓名：王东明

性别：男

出生年份：1961

职称：教授

院系：数学与系统科学学院

首次聘任导师时间：2002

现聘任导师一级学科名称：数学

现聘任导师二级学科名称：应用数学

聘任在第二学科培养博士生专业名称：无

聘任在自主设置学科培养博士生专业名称：无

主要研究方向及特色：机械化数学 、符号计算
、自动推理、知识管理与发现 、代数生物学

电子信箱：Dongming.Wang@bubb.edu.cn

办公电话：82338311

办公地点：新主楼F911

通信地址：北京100191海淀区学院路37号北京航空航天大学数学与系统科学学院

个人简介：

教育部长江学者特聘教授、法国国家科学研究中心主任研究员。1983年毕业于中国科学技术大学 ，考入中国科学院系统科学研究所
，师从吴文俊院士学习数学机械化，1987年获博士学位 ，1999年在法国格勒诺布尔国立理工学院获指导研究资格学位 。先后任中国科学院系统科学研究所助理研究员（1987−1988）
、奥地利开普勒大学助理教授（1988−1992）、法国国家科学研究中心主管研究员（1992−2005） 、北航中法工程师学院副院长（2005−2008）
。在符号计算
、自动推理、知识管理 、微分方程和生物网络等领域从事基础与应用研究，已出版专著3部
、教材3本、编译著20余部
，发表专业学术论文100余篇，在国际学术会议上作特邀报告20余次。

其代表性的研究成果在国内外科技文献中被称为“王方法 ” 、“王简单系统
”
、“王−胡方法”、“王定理 ”等 。是多项式系统消元与分解 、几何学自动推理和微分方程符号分析方面的国际知名专家 ，多个欧共体项目
、国际合作项目和国家973项目的学术骨干
，参与发起和组织了100多项国际学术活动。现任国际学术期刊《MathematicsinComputerScience》主编、《SCIENCECHINAInformationSciences》常务副主编 、《JournalofSymbolicComputation》等多份期刊和丛书的编委
。

研究特色：以计算机为工具，实现数学计算、推理
、作图、知识管理的机械化与自动化；借助自身优势 ，重点研发高效的计算机代数 、几何
、分析算法和软件；促进学科交叉
，开拓计算机数学在科学和工程领域中的应用。

研究生培养质量：创造了大量的国际交流与合作机会，拓广、提升了研究生的视野和综合能力 。培养的博士具有良好的科研素质 、取得了创新性的研究成果 ，大多达到了国际一流院校博士的水平
。

科研成果：2010年至今
，出版教材1本
、编著2部，发表学术论文20余篇。主要研究工作包括推广了特征列的概念和方法 ，发展了简单分解算法和根式求解理论
，提出了从图片自动发现几何定理的方法，创建了几何知识管理和生物系统代数分析等研究方向 。

学术管理：主导多项式消元和几何学自动推理的发展 ，主编《MathematicsinComputerScience》和《SCIENCECHINAInformationSciences》
。

近五年代表性学术论文:

1.AlgebraicAnalysisofStabilityandBifurcationforNonlinearFlightDynamics.201106.一作.TheAeronauticalJournal.

2.AlgebraicStabilityCriteriaandSymbolicDerivationofStabilityConditionsforFeedbackControlSystems.201210.一作.InternationalJournalofControl.

3.ImprovingAngularSpeedUniformitybyReparametrization.201310.二作.ComputerAidedGeometricDesign.

4.ComputingEquilibriaofSemi-algebraicEconomiesUsingTriangularDecompositionandRealSolutionClassification.201410.二作.JournalofMathematicalEconomics.

5.AutomatedGenerationofGeometricTheoremsfromImagesofDiagrams.201410.三作.AnnalsofMathematicsandArticialIntelligence.

近五年承担的主要科研项目:

1.软件开发环境国家重点实验室课题.201104-201512.SKLSDE-2011KF-02/SKLSDE-2015ZX-18.符号计算、知识管理与发现.21万元.

2.法国AgenceNationaledelaRecherche和中国国家自然科学基金委员会国际合作与交流项目.201003-201312.60911130369.代数系统的准确 、可信计算.30.16万欧元+45万元.