吴文俊

上海市人。1940年毕业于交通大学，1949年获法国斯特拉斯堡大学博士学位。历任北京大学教授，中国科学院数学研究所研究员，数学机械化研究中心主任等职。在拓扑学，在示性类、示嵌类等领域获得一系列重要成果。创立了定理机器证明的“吴方法”，被国际同行认为是数学研究方式的变革。1984年当选为中国数学学会理事长。2000年获首届国家最高科学技术奖。

 1957年当选为中国科学院院士。