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

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

學術成就與榮譽頭銜

呂建院士 1960 年生于江蘇南京，1982 年畢業(yè)于南京大學計算機系，并在 1988 年獲得該校的博士學位，師從中國計算機軟件泰斗、南大博士生導師徐家福先生，研究方向包括軟件自動化、面向對象語言與環(huán)境和并行程序的形式化方法。

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

● 教育部長江學者

● 計算機軟件新技術國家重點實驗室主任

● 國家 863 高技術計劃信息領域計算機軟硬件技術主題專家組成員、副組長（十五）， 國家 863 高技術計劃信息領域專家組成員（十一五）

● 國務院學位委員會計算機學科評議組成員

● 教育部科學技術委員會信息學部委員

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

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

其中，呂建院士擔任主任的「計算機軟件新技術國家重點實驗室」于 2007 年與 2012 年連續(xù)兩次獲評信息領域優(yōu)秀國家重點實驗室。

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

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

代表性成果

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

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

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

● 提出了支持按需協(xié)同、在線演化、自治管理的容器系統(tǒng)結構及相關機制，設計實現(xiàn)了網(wǎng)構軟件的運行支撐平臺；

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

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

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

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

總結

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

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

CNCC2018 邀請嘉賓

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

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

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

請掃描二維碼報名參會

本文參考資料：

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

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

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