履历
先后任中国科学院系统科学研究所助理研究员(1987-1988)、奥地利开普勒大学助理教授(1988-1992)、法国国家科学研究中心主管研究员(1992-2005)。
成果
在符号计算、自动推理、微分方程和生物网络等领域从事基础与应用研究,已出版专著3部、编译著15部、教材1本,发表专业学术论文70余篇。其代表性的研究成果在国内外科技文献中被称为“王方法”、“王简单系统”、“王-胡方法”、“王定理”等。是多项式消元与分解、几何学自动推理和微分方程符号分析方面的国际知名专家,多个欧共体项目、国际合作项目和国家973项目的学术骨干,参与发起和组织了40多项国际学术活动。