吴文俊所获奖励与荣誉

　　1956 年 国家 首届 自然科学奖最高奖一等奖：示性类及示嵌类的研究 　　

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

　　1958 年 应邀在国际数学家大会（爱丁堡）做45分钟报告（未能成行） 　　

　　1978 年 全国科学大会得科学大会奖： 示嵌类的理论与有关问题 　　

　　1980 年 中科院科技成果奖一等奖：机械化证明 　　

　　1986 年 应邀在国际数学家大会（旧金山）作了四十五分钟报告 　　

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

　　1989 年 ISSAC'89邀请报告 　　

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

　　1992 年 任国家攀登计划项目“机器证明及其应用”首席科学家　　

　　1993 年 获陈嘉庚数理科学奖 　　

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

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

　　1998 年 任国家攀登计划项目“数学机械化及其应用”首席科学家 　　

　　1998 年 香港城市大学名誉博士学位 　　

　　2000 年 获首届国家最高科学技术奖 　　

　　2001 年 第五届国家图书奖 :《数学机械化》 　　

　　2002 年 香港理工大学度“杰出中国访问学人” 　　

　　2005 年 ISSAC'05邀请报告 　　

　　2006 年 获邵逸夫数学奖 　　

　　2009 年 获 西安交通大学最受崇敬校友荣誉称号 　　

　　2009 年 获 上海交通大学杰出校友终生成就奖 　　

　　2009 年 获 全国侨界“十杰”荣誉称号 　　

　　2009 年 获 系统科学最佳论文奖 　　

　　2010 年 国家科技进步二等奖：《数学小丛书》