陸汝鈐院士是我國知識(shí)工程研究的主要開拓者之一。他把數(shù)學(xué)中黎曼曲面思想引進(jìn)PETRI網(wǎng)論，建立了多層PETRI網(wǎng)模型。

　　在知識(shí)工程和基于知識(shí)的軟件工程方面作了系統(tǒng)的、創(chuàng)造性的工作，是我國該領(lǐng)域研究的開拓者之一。倡導(dǎo)并主持完成了以軟件的機(jī)械化生成和移植為目標(biāo)的系列軟件計(jì)劃。設(shè)計(jì)并主持研制了知識(shí)工程語言TUILI和大型專家系統(tǒng)開發(fā)環(huán)境《天馬》。研究出基于類自然語言理解的知識(shí)自動(dòng)獲取方法�？蓱�(yīng)用于基于知識(shí)的應(yīng)用軟件自動(dòng)生成，特別是專家系統(tǒng)、ICAI系統(tǒng)和MIS系統(tǒng)的自動(dòng)生成。研究出計(jì)算機(jī)動(dòng)畫全過程自動(dòng)生成技術(shù)，在藝術(shù)創(chuàng)造領(lǐng)域內(nèi)推進(jìn)了人工智能。共發(fā)表文章約百篇，專著六本。獲中科院重大成果一等獎(jiǎng)一次，中科院科技進(jìn)步一等獎(jiǎng)一次，國家科技進(jìn)步二等獎(jiǎng)一次，全國科學(xué)大會(huì)先進(jìn)集體獎(jiǎng)一次。陸汝鈐院士任北京工業(yè)大學(xué)兼職教授，與劉椿年教授聯(lián)合招收培養(yǎng)博士生。

　陸汝鈐院士發(fā)表論文近百篇，專著六部。曾獲中科院重大成果一等獎(jiǎng)一項(xiàng)，中科院科技進(jìn)步一等獎(jiǎng)一項(xiàng)，國家科技進(jìn)步二等獎(jiǎng)一項(xiàng)。

　　陸汝鈐現(xiàn)為實(shí)驗(yàn)室學(xué)術(shù)委員會(huì)主任，首席科學(xué)家。中國科學(xué)院數(shù)學(xué)與系統(tǒng)科學(xué)研究院研究員，博士生導(dǎo)師。1999年當(dāng)選為中國科學(xué)院院士。研究方向主要為人工智能和基于知識(shí)的軟件工程。曾獲中科院科技成果一等獎(jiǎng)、中科院科技進(jìn)步一等獎(jiǎng)各一次，國家科技進(jìn)步二等獎(jiǎng)一次，均排名第一。擔(dān)任《軟件學(xué)報(bào)》、《計(jì)算機(jī)學(xué)報(bào)》、《應(yīng)用數(shù)學(xué)學(xué)報(bào)》、《模式識(shí)別和人工智能》、《計(jì)算機(jī)科學(xué)》、《Database Technology（ Pegamon Press 出版，英國）》等雜志的編委。 目前擔(dān)任中國計(jì)算機(jī)學(xué)會(huì)模式識(shí)別和人工智能專業(yè)委員會(huì)副主任委員。1997年以來曾到不來梅大學(xué)、漢堡大學(xué)、慕尼黑技術(shù)大學(xué)、薩爾州大學(xué)（德國）、馬德里技術(shù)大學(xué)、巴塞羅那技術(shù)大學(xué)（西班牙）講學(xué)。

　　之后，陸汝鈐進(jìn)一步把類自然語言理解與軟件工程中的領(lǐng)域分析、領(lǐng)域建模結(jié)合起來，促進(jìn)管理軟件開發(fā)的自動(dòng)化，并使企業(yè)管理人員能夠直接介入軟件的開發(fā)和維護(hù)。1994年英國AI WATCH雜志，用整整一頁篇幅發(fā)表評(píng)論指出，這是他們所見到的“以領(lǐng)域知識(shí)庫支持主流軟件開發(fā)的第一例”，“很有可能發(fā)展為可實(shí)用的工業(yè)工具”，并就此提出：“看來是歐洲的人工智能/軟件工業(yè)界與中國的人工智能界建立聯(lián)系的時(shí)候了”。

　　陸汝鈐研究并主持實(shí)現(xiàn)一套全過程計(jì)算機(jī)輔助動(dòng)畫生成技術(shù)，其特點(diǎn)是從受限自然語言理解開始，把中文童話故事自動(dòng)轉(zhuǎn)換成動(dòng)畫片，使計(jì)算機(jī)模擬腳本改編，電影導(dǎo)演和攝影師的功能，在藝術(shù)創(chuàng)造領(lǐng)域內(nèi)發(fā)展人工智能技術(shù)。

　　在形式語義學(xué)研究方面，陸汝鈐把原來只能描述靜態(tài)控制結(jié)構(gòu)的代數(shù)語義，推廣到能描述動(dòng)態(tài)控制結(jié)構(gòu),使代數(shù)語義具備描述完整程序控制結(jié)構(gòu)的能力，從而真正體現(xiàn)“對(duì)代數(shù)語義來說，程序即抽象數(shù)據(jù)類型”這一論題。陸汝鈐還把數(shù)學(xué)中黎曼曲面的思想引進(jìn)PETRI網(wǎng)論，建立了多層PETRI網(wǎng)模型—— P/R網(wǎng),并應(yīng)用P/R網(wǎng)給出了CCS的完全真并發(fā)語義，徹底解決了其特有的（在雙模擬意義下的）語義等價(jià)問題。

2017年10月，陸汝鈐當(dāng)選首批中國人工智能學(xué)會(huì)會(huì)士。