雷鋒網(wǎng) AI 科技評(píng)論按：由中國計(jì)算機(jī)學(xué)會(huì)（CCF）主辦，蕭山區(qū)人民政府、浙江大學(xué)承辦的 2018 中國計(jì)算機(jī)大會(huì)（CNCC 2018）將于 10 月 25-27 日在杭州舉行。

今年，CNCC 2018 也將會(huì)迎來諸多國內(nèi)外知名學(xué)術(shù)專家。在未來的一段時(shí)間，雷鋒網(wǎng) AI 科技評(píng)論將陸續(xù)放出嘉賓介紹。今天要介紹的是 CCF 副理事長、中國科學(xué)院院士、南京大學(xué)校長呂建教授。

學(xué)術(shù)成就與榮譽(yù)頭銜

呂建院士 1960 年生于江蘇南京，1982 年畢業(yè)于南京大學(xué)計(jì)算機(jī)系，并在 1988 年獲得該校的博士學(xué)位，師從中國計(jì)算機(jī)軟件泰斗、南大博士生導(dǎo)師徐家福先生，研究方向包括軟件自動(dòng)化、面向?qū)ο笳Z言與環(huán)境和并行程序的形式化方法。

呂建院士是一位計(jì)算機(jī)軟件專家，在計(jì)算機(jī)領(lǐng)域享有舉足輕重的地位。除了現(xiàn)任 CCF 副理事長，南京大學(xué)校長，中國科學(xué)院院士等多個(gè)重要職位，他的榮譽(yù)頭銜還包括：

● 教育部長江學(xué)者

● 計(jì)算機(jī)軟件新技術(shù)國家重點(diǎn)實(shí)驗(yàn)室主任

● 國家 863 高技術(shù)計(jì)劃信息領(lǐng)域計(jì)算機(jī)軟硬件技術(shù)主題專家組成員、副組長（十五）， 國家 863 高技術(shù)計(jì)劃信息領(lǐng)域?qū)＜医M成員（十一五）

● 國務(wù)院學(xué)位委員會(huì)計(jì)算機(jī)學(xué)科評(píng)議組成員

● 教育部科學(xué)技術(shù)委員會(huì)信息學(xué)部委員

● 聯(lián)合國大學(xué)國際計(jì)算機(jī)軟件研究所 Board Member

● 中國計(jì)算機(jī)學(xué)會(huì)系統(tǒng)軟件專業(yè)委員會(huì)主任

其中，呂建院士擔(dān)任主任的「計(jì)算機(jī)軟件新技術(shù)國家重點(diǎn)實(shí)驗(yàn)室」于 2007 年與 2012 年連續(xù)兩次獲評(píng)信息領(lǐng)域優(yōu)秀國家重點(diǎn)實(shí)驗(yàn)室。

在學(xué)術(shù)研究方面，呂建院士已在《Communications of ACM》、《IEEE Transactions on Systems, Man, and Cybernetics》、《Journal of Systems and Software》、《Software Practice and Experience》、《Information and Software Technology》、《中國科學(xué)》等國內(nèi)外主要刊物與國際會(huì)議論文集上發(fā)表論文 150 余篇，多次入選最佳/優(yōu)秀/亮點(diǎn)論文，數(shù)次在國際會(huì)議上做主題/特邀報(bào)告；合著學(xué)術(shù)專著 2 部——其中，學(xué)術(shù)專著《軟件自動(dòng)化》獲國家教委學(xué)術(shù)著作優(yōu)秀獎(jiǎng)和國家教委優(yōu)秀教材一等獎(jiǎng)，學(xué)術(shù)專著《軟件語言及其實(shí)現(xiàn)》獲教育部優(yōu)秀教材一等獎(jiǎng)；授權(quán)專利 11 項(xiàng)，形成多項(xiàng)國際、國家和行業(yè)標(biāo)準(zhǔn)；研制的軟件工具和系統(tǒng)在國內(nèi)外眾多大中型信息系統(tǒng)中得到應(yīng)用。

此外，他還先后承擔(dān)了國家 973 重大基礎(chǔ)研究計(jì)劃、國家 863 高技術(shù)、國家科技攻關(guān)計(jì)劃、國家攀登計(jì)劃、國家自然科學(xué)基金和國際合作等項(xiàng)目 20 余項(xiàng)，并獲得了教育部自然科學(xué)獎(jiǎng)一等獎(jiǎng)、教育部技術(shù)發(fā)明獎(jiǎng)一等獎(jiǎng)、國家科技進(jìn)步獎(jiǎng)二等獎(jiǎng)、何梁何利科學(xué)與技術(shù)進(jìn)步獎(jiǎng)、霍英東青年教師獎(jiǎng)（研究類）、中國青年科技獎(jiǎng)等諸多獎(jiǎng)項(xiàng)。

代表性成果

呂建院士一直以探索建立新型軟件方法學(xué)作為重大科學(xué)問題導(dǎo)向，并長期堅(jiān)持該領(lǐng)域的基礎(chǔ)研究、技術(shù)創(chuàng)新與應(yīng)用實(shí)踐，在軟件基礎(chǔ)理論與方法、網(wǎng)構(gòu)軟件方法學(xué)、新型軟件平臺(tái)及應(yīng)用方面取得了系統(tǒng)性和創(chuàng)新性的成果，為中國軟件事業(yè)的發(fā)展作出了重要貢獻(xiàn)。

2000 年開始，呂建院士便領(lǐng)銜研究團(tuán)隊(duì)率先從軟件角度探討互聯(lián)網(wǎng)計(jì)算，提出一種基于 Agent 的互聯(lián)網(wǎng)軟件新范型—網(wǎng)構(gòu)軟件（Internetware），并在國家 973 計(jì)劃連續(xù)兩期項(xiàng)目的支持下，建立了一套網(wǎng)構(gòu)軟件技術(shù)體系，取得一系列重要突破：

● 構(gòu)造了一個(gè)開放、協(xié)同的網(wǎng)構(gòu)軟件模型，用以描述和規(guī)約自主性、協(xié)同性、演化性、情境性、涌現(xiàn)性和可信性等互聯(lián)網(wǎng)應(yīng)用新特性；

● 提出了支持按需協(xié)同、在線演化、自治管理的容器系統(tǒng)結(jié)構(gòu)及相關(guān)機(jī)制，設(shè)計(jì)實(shí)現(xiàn)了網(wǎng)構(gòu)軟件的運(yùn)行支撐平臺(tái)；

● 提出了全生命期軟件體系結(jié)構(gòu)驅(qū)動(dòng)的網(wǎng)構(gòu)軟件開發(fā)和演化方法。

得益于呂建院士一眾中國學(xué)者自主提出「網(wǎng)構(gòu)軟件」，我國在此方向的研究整體處于國際先進(jìn)水平，且在軟件構(gòu)件、軟件體系結(jié)構(gòu)、軟件自適應(yīng)等技術(shù)上位于國際領(lǐng)先行列。

同時(shí)，呂建院士作為學(xué)術(shù)帶頭人領(lǐng)導(dǎo)的「面向 Internet 的軟件方法與技術(shù)」團(tuán)隊(duì)，還分別于 2005 年和 2007 年入選「教育部創(chuàng)新團(tuán)隊(duì)」和「國家自然科學(xué)基金委創(chuàng)新研究群體」。

除了取得在網(wǎng)構(gòu)軟件方面的重要成果，呂建院士還創(chuàng)新地提出了一種具有模型裂變能力的形式化開發(fā)方法，其數(shù)據(jù)分解新機(jī)制可用于大型程序開發(fā)的復(fù)雜性控制；發(fā)展了開放環(huán)境下的軟件協(xié)同技術(shù)，主持研制了新型軟件協(xié)同平臺(tái)，可為開放、動(dòng)態(tài)、多變環(huán)境下應(yīng)用系統(tǒng)的開發(fā)與運(yùn)行提供支撐。

總結(jié)

呂建院士不但在學(xué)術(shù)界成績斐然，被冠以諸多「沉甸甸」的榮譽(yù)頭銜，而且還在不斷推動(dòng)人工智能落地高等教育，積極探索智能產(chǎn)業(yè)「產(chǎn)、學(xué)、研」合一，例如在今年三月份，他便以校長身份牽頭南京大學(xué)正式成立人工智能學(xué)院，使南大成為繼中國科學(xué)院大學(xué)、西安電子科技大學(xué)之后第三所加入國內(nèi) AI 學(xué)院陣營的高校。

今年 10 月 25-27 日舉辦的 CNCC 2018 上，呂建院士也將蒞臨現(xiàn)場一展學(xué)術(shù)風(fēng)采。屆時(shí)，雷鋒網(wǎng) AI 科技評(píng)論將作為獨(dú)家戰(zhàn)略合作媒體，在現(xiàn)場為大家?guī)淼谝皇謭?bào)道。

CNCC2018 邀請(qǐng)嘉賓

2018 中國計(jì)算機(jī)大會(huì)（CNCC2018）官網(wǎng)：http://cncc2018.ccf.org.cn/

即日起至9月21日，報(bào)名且繳費(fèi)成功即可以優(yōu)惠價(jià)格參加 CNCC 2018! 

購票優(yōu)惠一覽表

請(qǐng)掃描二維碼報(bào)名參會(huì)

本文參考資料：

1. 《陜西教育·高教版》2015 年第 03 期，《教育部：2014年度高校十大科技進(jìn)展揭曉》

2. 澎湃新聞《南京大學(xué)成立人工智能學(xué)院：創(chuàng)造技術(shù)要有基礎(chǔ)研究突破的根基》：https://www.thepaper.cn/newsDetail_forward_2020561

雷峰網(wǎng)原創(chuàng)文章，未經(jīng)授權(quán)禁止轉(zhuǎn)載。詳情見轉(zhuǎn)載須知。