北京航空航天大學(xué)

教育部長(zhǎng)江學(xué)者特聘教授、法國(guó)國(guó)家科學(xué)研究中心主任研究員。1983年畢業(yè)于中國(guó)科學(xué)技術(shù)大學(xué)，考入中國(guó)科學(xué)院系統(tǒng)科學(xué)研究所，師從吳文俊院士學(xué)習(xí)數(shù)學(xué)機(jī)械化，1987年獲博士學(xué)位，1999年在法國(guó)格勒諾布爾國(guó)立理工學(xué)院獲指導(dǎo)研究資格學(xué)位。先后任中國(guó)科學(xué)院系統(tǒng)科學(xué)研究所助理研究員（1987−1988）、奧地利開(kāi)普勒大學(xué)助理教授（1988−1992）、法國(guó)國(guó)家科學(xué)研究中心主管研究員（1992−2005）、北航中法工程師學(xué)院副院長(zhǎng)（2005−2008）。在符號(hào)計(jì)算、自動(dòng)推理、知識(shí)管理、微分方程和生物網(wǎng)絡(luò)等領(lǐng)域從事基礎(chǔ)與應(yīng)用研究，已出版專著3部、教材3本、編譯著20余部，發(fā)表專業(yè)學(xué)術(shù)論文100余篇，在國(guó)際學(xué)術(shù)會(huì)議上作特邀報(bào)告20余次。

其代表性的研究成果在國(guó)內(nèi)外科技文獻(xiàn)中被稱為“王方法”、“王簡(jiǎn)單系統(tǒng)”、“王−胡方法”、“王定理”等。是多項(xiàng)式系統(tǒng)消元與分解、幾何學(xué)自動(dòng)推理和微分方程符號(hào)分析方面的國(guó)際知名專家，多個(gè)歐共體項(xiàng)目、國(guó)際合作項(xiàng)目和國(guó)家973項(xiàng)目的學(xué)術(shù)骨干，參與發(fā)起和組織了100多項(xiàng)國(guó)際學(xué)術(shù)活動(dòng)�，F(xiàn)任國(guó)際學(xué)術(shù)期刊《Mathematics in Computer Science》主編、《SCIENCE CHINA Information Sciences》常務(wù)副主編、《Journal of Symbolic Computation》等多份期刊和叢書(shū)的編委。

研究特色：以計(jì)算機(jī)為工具，實(shí)現(xiàn)數(shù)學(xué)計(jì)算、推理、作圖、知識(shí)管理的機(jī)械化與自動(dòng)化；借助自身優(yōu)勢(shì)，重點(diǎn)研發(fā)高效的計(jì)算機(jī)代數(shù)、幾何、分析算法和軟件；促進(jìn)學(xué)科交叉，開(kāi)拓計(jì)算機(jī)數(shù)學(xué)在科學(xué)和工程領(lǐng)域中的應(yīng)用。

研究生培養(yǎng)質(zhì)量：創(chuàng)造了大量的國(guó)際交流與合作機(jī)會(huì)，拓廣、提升了研究生的視野和綜合能力。培養(yǎng)的博士具有良好的科研素質(zhì)、取得了創(chuàng)新性的研究成果，大多達(dá)到了國(guó)際一流院校博士的水平。

科研成果：2010年至今，出版教材1本、編著2部，發(fā)表學(xué)術(shù)論文20余篇。主要研究工作包括推廣了特征列的概念和方法，發(fā)展了簡(jiǎn)單分解算法和根式求解理論，提出了從圖片自動(dòng)發(fā)現(xiàn)幾何定理的方法，創(chuàng)建了幾何知識(shí)管理和生物系統(tǒng)代數(shù)分析等研究方向。

學(xué)術(shù)管理：主導(dǎo)多項(xiàng)式消元和幾何學(xué)自動(dòng)推理的發(fā)展，主編《Mathematics in Computer Science》和《SCIENCE CHINA Information Sciences》。

近五年代表性學(xué)術(shù)論文:

1. Algebraic Analysis of Stability and Bifurcation for Nonlinear Flight Dynamics. 201106. 一作. The Aeronautical Journal.

2. Algebraic Stability Criteria and Symbolic Derivation of Stability Conditions for Feedback Control Systems. 201210.一作.International Journal of Control.

3. Improving Angular Speed Uniformity by Reparametrization. 201310. 二作. Computer Aided Geometric Design.

4. Computing Equilibria of Semi-algebraic Economies Using Triangular Decomposition and Real Solution Classification. 201410. 二作. Journal of Mathematical Economics.

5. Automated Generation of Geometric Theorems from Images of Diagrams. 201410. 三作. Annals of Mathematics and Articial Intelligence.

近五年承擔(dān)的主要科研項(xiàng)目:

1.軟件開(kāi)發(fā)環(huán)境國(guó)家重點(diǎn)實(shí)驗(yàn)室課題.201104-201512.SKLSDE-2011KF-02/SKLSDE-2015ZX-18.符號(hào)計(jì)算、知識(shí)管理與發(fā)現(xiàn).21萬(wàn)元.

2.法國(guó)Agence Nationaledela Recherche和中國(guó)國(guó)家自然科學(xué)基金委員會(huì)國(guó)際合作與交流項(xiàng)目.201003-201312.60911130369.代數(shù)系統(tǒng)的準(zhǔn)確、可信計(jì)算.30.16萬(wàn)歐元+45萬(wàn)元.