人物簡介
1982年,畢業於南京大學計算機系;1988年,獲博士學位;
1994年,進入“國家教委跨世紀優秀人才計畫”;
1993年——1994年,在英國曼徹斯特大學計算機系作為訪問學者;
1995年,獲“國家傑出青年科學基金”資助;
1997年,進入國家“百千萬人才工程”(第一、二層次);
1997年,進入江蘇省“333”人才培養工程第二層次,並於2002年轉入第一層次;
2000年,進入長江學者計畫,被南京大學聘為特聘教授;
1995年,在聯合國大學澳門國際軟體研究所從事研究工作;
2010年05月,任南京大學副校長;
2016年05月——2018年01月,任南京大學常務副校長;
2018年01月——至今,任南京大學校長。
任免信息
2018年1月30日,中共中央組織部在南京大學宣布了中共中央、國務院的任免決定,呂建任南京大學校長(副部長級)。人物成就
科學研究
呂建以探索建立新型軟體方法學作為重大科學問題導向,長期堅持該領域的基礎研究、技術創新與套用實踐,在軟體基礎理論與方法、網構軟體方法學、新型軟體平台及套用方面取得了系統性和創新性的成果,為中國軟體事業的發展作出了重要貢獻。作為學術帶頭人,呂建教授的“面向Internet的軟體方法與技術”團隊於2005年和2007年分別入選“教育部創新團隊”和“國家自然科學基金委創新研究群體”;
由他擔任主任的“計算機軟體新技術國家重點實驗室”於2007年與2012年連續兩次獲評信息領域優秀國家重點實驗室。
學術成就
先後承擔國家973重大基礎研究計畫、國家863高技術、國家科技攻關計畫、國家攀登計畫、國家自然科學基金和國際合作等項目20餘項。
他在國內外主要刊物與國際會議論文集上發表論文150餘篇,授權專利11項,合著學術專著2部。
主要論文
序號 | 人員 | 名稱 | 刊物 | 年份 |
---|---|---|---|---|
1 | 呂建 馬曉星 陶先平 黃宇 余萍 許暢 | 面向網構軟體的環境顯式化技術 | 中國科學F輯 | 2013 |
2 | 鄒陽 呂建 曹春 胡昊 宋巍 楊啟亮 | 上下文相關圖文法的表達能力分析 | 軟體學報 | 2012 |
3 | 鄒陽 呂建 曾曉勤 | 並行性挖掘的圖文法方法 | 小型微型計算機系統 | 2011 |
4 | 呂建 馬曉星 陶先平 曹春 黃宇 余萍 | 面向網構軟體的環境驅動模型與支撐技術研究 | 中國科學F輯 | 2008 |
5 | 張康 呂建 | 軟體可視化和信息可視化專刊前言 | 軟體學報 | 2008 |
6 | 楊芙清 呂建 梅宏 | 網構軟體技術體系:一種以體系結構為中心的途徑 | 中國科學F輯 | 2008 |
7 | 王遠 呂建 徐鋒 張林 | 一種面向網構軟體體系結構的信任驅動服務選取機制 | 軟體學報 | 2008 |
8 | 胡海洋 呂建 馬曉星 陶先平 | 面向對象范型體系結構中構件行為相容性研究 | 軟體學報 | 2006 |
9 | 梅宏 呂建 | 軟體體系結構專刊前言 | 軟體學報 | 2006 |
10 | 呂建 馬曉星 陶先平 徐鋒 胡昊 | 網構軟體的研究與進展 | 中國科學F輯 | 2006 |
11 | 王遠 呂建 徐鋒 張林 | 一個適用於網構軟體的信任度量及演化模型 | 軟體學報 | 2006 |
12 | 呂建 陶先平 馬曉星 胡昊 徐鋒 曹春 | 基於Agent的網構軟體模型研究 | 中國科學F輯 | 2005 |
13 | 馮新宇 呂建 曹建農 | 通用的移動Agent通信框架設計 | 軟體學報 | 2003 |
14 | 徐鋒 呂建 鄭瑋 曹春 | 一個軟體服務協同中信任評估模型的設計 | 軟體學報 | 2003 |
15 | 李斌 呂建 朱梧 | 基於情境演算的智慧型體結構 | 軟體學報 | 2003 |
16 | 陶先平 呂建 馬曉星 胡昊 | 移動agent系統基準模型的研究 | 電子學報 | 2002 |
17 | 李新 呂建 曹春 馮新宇 陶先平 | 移動Agent系統的安全性研究 | 軟體學報 | 2002 |
18 | 徐鋒 呂建 | Web安全中的信任管理研究與進展 | 軟體學報 | 2002 |
19 | 馬曉星 呂建 | 分散式Web伺服器技術綜述 | 計算機科學 | 2002 |
20 | 呂建 張鳴 廖宇 陶先平 | 基於移動Agent技術的構件軟體框架研究 | 軟體學報 | 2000 |
21 | 呂建 費翔林 | 未來軟體的呼喚記ISFST-99第四屆未來軟體技術國際學術會議 | 計算機科學 | 2000 |
22 | 呂建 費翔林 | 未來軟體的呼喚——記ISFST-99第四屆未來軟體技術國際學術會議 | 計算機科學 | 2000 |
23 | 李英軍 呂建 劉鴻儒 | SEIS++:一個油氣勘探領域軟體建造和集成的模式語言 | 計算機學報 | 2000 |
24 | 陶先平 呂建 張冠群 李新 董桓 | 一種移動agent結構化遷移機制的設計和實現 | 軟體學報 | 2000 |
25 | 楊大軍 呂建 | 基於數據分解的並發麵向對象程式開發方法 | 軟體學報 | 2000 |
26 | 呂建 費翔林 王靜英 | 前進中的面向對象技術 | 計算機科學 | 2000 |
27 | 李英軍 呂建 於大川 馬曉星 | 一個層次式面向對象並行計算框架的設計 | 電子學報 | 2000 |
28 | 呂建 陸陪 於大川 | 支持多種並行計算模型的面向對象框架研究 | 軟體學報 | 1999 |
29 | 李英軍 呂建 | 面向對象科學計算工作空間管理框架 | 計算機研究與發展 | 1999 |
30 | 李英軍 呂建 王宏琳 | 面向對象套用框架在油氣勘探領域的套用研究 | 軟體學報 | 1999 |
31 | 張鳴 呂建 楊大軍 陶先平 | 基於雙層類結構的繼承異常處理方法 | 軟體學報 | 1999 |
32 | 陶先平 呂建 董桓 李新 | 流動agent:一種未來的分布計算模式 | 計算機科學 | 1999 |
33 | 李英軍 呂建 | 一個科學計算領域的面向對象並行套用框架 | 計算機工程與科學 | 1998 |
34 | 呂建 | 數據精化規則的可靠與完備集研究 | 中國科學F輯 | 1997 |
35 | 張家重 呂建 王志堅 徐家福 | 一種圖形化對象式需求定義語言的設計 | 軟體學報 | 1996 |
36 | 張家重 呂建 徐家福 | 軟體需求工程述評 | 計算機科學 | 1995 |
37 | 呂建 費宗銘 | HOS規格說明的功能理解及其套用 | 軟體學報 | 1995 |
38 | 呂建 徐家福 | NDSAIL系統的歸納結論正確性準則及其自動確認方法 | 計算機學報 | 1993 |
39 | 呂建 徐家福 | 從軟體功能實例規格說明到軟體功能形式規格說明的自動轉換 | 軟體學報 | 1992 |
40 | 費宗銘 呂建 王志堅 陳道蓄 徐家福 | 機器學習 | 計算機科學 | 1991 |
41 | 呂建 | 廣譜規格說明語言FGSPEC的設計 | 計算機研究與發展 | 1991 |
42 | 呂建 | 算法設計自動化研究綜述 | 計算機科學 | 1988 |
社會任職
兼任國家863高技術計畫信息領域專家組成員(十一五);2015年任國務院學位委員會第七屆學科評議組成員;
教育部科學技術委員會信息學部委員;
聯合國大學國際計算機軟體研究所BoardMembe;
中國計算機學會系統軟體專業委員會主任;
江蘇省自然科學基金委員會信息學科組組長;
江蘇省黨外知識分子聯誼會會長;
從2004年開始擔任一屆知聯會理事、二屆知聯會副會長;
“核高基”科技重大專項總體專家組成員;
自然科學基金委信息學部專家諮詢委員會委員;
國務院學位委員會計算機學科評議組成員;
計算機科學技術教學指導委員會副主任;
中國計算機學會副理事長,中國計算機學會軟體工程專業委員會主任。
獲獎記錄
榮譽稱號 |
|
團隊 |
|
個人獎項 |
|
人物評價
呂建教授是計算機軟體專家,他研究的軟體方法學對提高軟體生產的效率和質量做出了很大貢獻。(南京大學評)呂建教授以探索建立新型軟體方法學作為重大科學問題導向,長期堅持該領域的基礎研究、技術創新與套用實踐,在軟體基礎理論與方法、網構軟體方法學、新型軟體平台及套用方面取得了系統性和創新性的成果,為中國軟體事業的發展做出了重要貢獻,研究成果得到了國內外同行的廣泛引用與認可。(江蘇網評)
為中國軟體事業發展做出了重要貢獻。(中共江蘇省委評)