【陸汝鈐獲2014CCF終身成就獎】陸汝鈐，中科院數(shù)學與系統(tǒng)科學研究院數(shù)學研究所研究員，復旦大學教授。陸汝鈐從事了包括編譯理論、定理證明、形式語言理論、形式語義學、量子自動機等多方面的研究，并取得了很好的科研成果。頒獎由CCF獎勵委員會主席高文主持，騰訊公司王巨宏女士致辭。
    背景信息：@自動化學院派1月31日，2014中國計算機學會頒獎大會CCF終身成就獎授予中科院數(shù)學所研究員陸汝鈐和清華大學教授張鈸！陸汝鈐，中科院數(shù)學與系統(tǒng)科學研究院數(shù)學研究所研究員，復旦大學教授。他在知識工程和基于知識的軟件工程方面做了系統(tǒng)的、創(chuàng)造性的工作，是中國該領域研究的開拓者之一。