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