邵逸夫獎
曾获得多项国内外奖：1956年获首届国家自然科学一等奖；1957年增选为中国科学院学部委员(院士)；1990年荣获第三世界科学院数学奖；1993年获陈嘉庚科学奖数理科学奖；1994年获首届香港求是杰出科学家奖；1997年获自动推理领域最高奖埃尔布朗奖；2000年获中华人民共和国国家最高科学技术奖；2006年获邵逸夫獎数学科学奖。