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

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

Year:    2015

CAM-Net Digest, Vol. 12 (2015), Iss. 4 : p. 2

Abstract

2015131日,以责任、创新、奉献为主题的中国计算机学会(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:    Multiple languages

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

Keywords: