奖 励 情
况
1956年因示性类及示嵌类的工作荣获 国家第一届自然科学奖最高奖一等奖 （其他两位一等奖获得者为华罗庚和钱学森）
1957年1月增选为中国科学院院士
1958年邀请在1958年国际数学家大会 （爱丁堡）做分组报告（未能成行）
1978年全国科学大会得科学大会奖
1988年7月巴黎国际数学和计算机模拟大会，被邀请为专家小组的召集人,
(未成行)。
1992年获得第三世界科学院数学奖
1993年度陈嘉庚数理科学奖
1994年荣获香港求是基金会“杰出科学家奖”
1997年获自动推理的最高奖Herbrand奖
香港城市大学名誉博士学位
2000年国家最高科学技术奖
2006年邵逸夫数学奖