@Article{CAM-12-4, author = {}, title = {中国科学院数学与系统科学研究院陆汝钤院士荣获2014年度中国计算机学会终身成就奖}, journal = {CAM-Net Digest}, year = {2015}, volume = {12}, number = {4}, pages = {2--2}, abstract = {

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

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

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

}, issn = {}, doi = {https://doi.org/2015-CAM-14909}, url = {https://global-sci.com/article/76669/2014} }