履曆
先後任中國科學院系統科學研究所助理研究員(1987-1988)、奧地利開普勒大學助理教授(1988-1992)、法國國家科學研究中心主管研究員(1992-2005)。
成果
在符号計算、自動推理、微分方程和生物網絡等領域從事基礎與應用研究,已出版專著3部、編譯著15部、教材1本,發表專業學術論文70餘篇。其代表性的研究成果在國内外科技文獻中被稱為“王方法”、“王簡單系統”、“王-胡方法”、“王定理”等。是多項式消元與分解、幾何學自動推理和微分方程符号分析方面的國際知名專家,多個歐共體項目、國際合作項目和國家973項目的學術骨幹,參與發起和組織了40多項國際學術活動。