中国科学院数学与系统科学研究院陆汝钤院士荣获2014年度中国计算机学会终身成就奖

luyuanhong

中国科学院数学与系统科学研究院陆汝钤院士荣获2014年度中国计算机学会终身成就奖

来源：中国科学院数学与系统科学研究院网站

2015年1月31日，以“责任、创新、奉献”为主题的中国计算机学会（CCF）颁奖大会在京举
行。我院陆汝钤院士荣获2014 CCF终身成就奖，中国工程院院士、中国计算机学会名誉理
事长李国杰为其颁奖。

陆汝钤院士从事包括编译理论、定理证明、形式语言理论、形式语义学、量子自动机等多
方面的研究，在知识工程和基于知识的软件工程方面做了系统的、创造性的工作，是我国
该领域研究的开拓者之一。

中国计算机学会终身成就奖于2010年设立，简称CCF终身成就奖，授予70岁以上、在计算
机领域做出卓越成就与贡献、被业界广泛认可的科学家。