吴文俊， 1919 年出生于上海， 1940 年毕业于上海交通大学数学系， 1946 年赴法国斯特拉斯堡大学留学，获博士学位。 1957 年被选为中国科学院学部委员（院士）。现任中国科学院系统科学研究所名誉所长。

　　吴文俊研究数学已经半个多世纪，是我国最具国际影响的数学家之一。早期研究拓扑学，他的天才成就曾奇迹般地大大缩短了中国近代数学与国际上的差距。 1956 年他与华罗庚、钱学森一起获得当时科技界最高奖 ---- 首届国家自然科学一等奖。

　　70 年代后期，在计算机技术大发展的背景下，吴文俊继承和发展了中国古代数学的传统（即算法化思想），转而研究几何定理的机器证明，彻底改变了这个领域的面貌，是国际自动推理界先驱性的工作，被称为“吴方法”，产生了巨大影响。吴的研究取得了一系列国际领先成果并已应用于国际上当前流行的符号计算软件方面。

　　吴文俊院士热爱祖国，有高尚的科学道德，是数学界德高望重的前辈，至今仍在数学机械化研究的第一线。在 50 多年的研究工作中，始终站在数学领域的前沿，做出了原创性研究成果，在国际上产生了重大影响。