Year: 2015
CAM-Net Digest, Vol. 12 (2015), Iss. 4 : p. 2
Abstract
2015年1月31日,以“责任、创新、奉献”为主题的中国计算机学会(CCF)颁奖大会在京举行。我院陆汝钤院士荣获2014 CCF终身成就奖,中国工程院院士、中国计算机学会名誉理事长李国杰为其颁奖。
陆汝钤院士从事包括编译理论、定理证明、形式语言理论、形式语义学、量子自动机等多方面的研究,在知识工程和基于知识的软件工程方面做了系统的、创造性的工作,是我国该领域研究的开拓者之一。
中国计算机学会终身成就奖于2010年设立,简称CCF终身成就奖,授予70岁以上、在计算机领域做出卓越成就与贡献、被业界广泛认可的科学家。
You do not have full access to this article.
Already a Subscriber? Sign in as an individual or via your institution
Journal Article Details
Publisher Name: Global Science Press
Language: Chinese
DOI: https://doi.org/2015-CAM-14909
CAM-Net Digest, Vol. 12 (2015), Iss. 4 : p. 2
Published online: 2015-01
AMS Subject Headings: Global Science Press
Copyright: COPYRIGHT: © Global Science Press
Pages: 1