arrow
第十二卷, 第四期
中国科学院数学与系统科学研究院陆汝钤院士荣获2014年度中国计算机学会终身成就奖

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


2015131日,以责任、创新、奉献为主题的中国计算机学会(CCF)颁奖大会在京举行。我院陆汝钤院士荣获2014 CCF终身成就奖,中国工程院院士、中国计算机学会名誉理事长李国杰为其颁奖。 

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

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