中国科学院系统科学研究所吴文俊男，1919年5月12日生于上海，1940年毕业于上海交通大学，1949年获法国国家博士学位

现任中国科学院系统科学研究所名誉所长，研究员，中国科学院院士，第三世界科学院院士；曾任中国数学会理事长（1985-1987），中国科学院数理学部主任（1992-1994），全国政协委员、常委（1979-1998）

他在拓扑学、自动推理、机器证明、代数几何、中国数学史、对策论等研究领域均有杰出的贡献，在国内外享有盛誉

他在拓扑学的示性类、示嵌类的研究方面取得一系列重要成果，是拓扑学中的奠基性工作并有许多重要应用

他的“吴方法”在国际机器证明领域产生巨大的影响，有广泛重要的应用价值

当前国际流行的主要符号计算软件都实现了吴文俊教授的算法

曾获得首届国家自然科学一等奖(1956)、中国科学院自然科学一等奖(1979)、第三世界科学院数学奖(1990)、陈嘉庚数理科学奖(1993)、首届香港求是科技基金会杰出科学家奖(1994)、Herbrand自动推理杰出成就奖(1997)、首届国家最高科技奖(2000)、第三届邵逸夫数学奖(2006)

以上内容由大学时代综合整理自互联网，实际情况请以官方资料为准。