吴文俊，1919年5月12日生，上海市人。 1949年获法国国家博士学位。现任中国科系统科学研究所名誉所长。 1991年当选第三世界科院士。曾任中国科数理学部主任、中国数学会理事长、第五——八届全国政协常委。 1951年8月至1952年10月在北京大学数学系任教。 吴文俊在拓扑学、自动推理、机器证明、代数几何、中国数学史、对策论等研究领域均有杰出的贡献,在国内外享有盛誉。他在拓扑学的示性类、示嵌类的研究方面取得一系列重要成果，是拓扑学中的奠基性工作并有许多重要应用。他的“吴方法”在国际机器证明领域发生巨大的影响，有广泛重要的应用价值。当前国际流行的主要符号计算软件都实现了吴文俊教授的算法。

奖励情况：

1956年因示性类及示嵌类的工作荣获 国家第一届自然科学奖最高奖一等奖 （其他两位一等奖获得者为华罗庚和钱学森）

1957年1月增选为中国科院士

1978年全国科学大会得科学大会奖

1991年当选为第三世界科院士

1992年获得第三世界科数学奖

1993年度陈嘉庚数理科学奖

1994年荣获香港求是基金会“杰出科学家奖”

1997年获自动推理的最高奖Herbrand奖

2001年获得首届“国家最高科学技术奖” 。

资料来源：吴文俊