【陆汝钤获2014CCF终身成就奖】陆汝钤,中科院数学与系统科学研究院数学研究所研究员,复旦大学教授。陆汝钤从事了包括编译理论、定理证明、形式语言理论、形式语义学、量子自动机等多方面的研究,并取得了很好的科研成果。颁奖由CCF奖励委员会主席高文主持,腾讯公司王巨宏女士致辞。
    背景信息:@自动化学院派1月31日,2014中国计算机学会颁奖大会CCF终身成就奖授予中科院数学所研究员陆汝钤和清华大学教授张钹!陆汝钤,中科院数学与系统科学研究院数学研究所研究员,复旦大学教授。他在知识工程和基于知识的软件工程方面做了系统的、创造性的工作,是中国该领域研究的开拓者之一。