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