呂建[南京大學校長、中國科學院院士]

呂建[南京大學校長、中國科學院院士]

呂建(1960.3.31-),籍貫山東榮成,生於江蘇省南京市,計算機軟體專家。1982年畢業於南京大學計算機系,1984年獲該校碩士學位,1988年獲該校博士學位,2013年當選為中國科學院信息技術科學部院士。 現任第十三屆全國人民代表大會常務委員會委員,南京大學校長(副部長級)。

基本信息

人物履歷

1960年3月,呂建出生於江蘇省南京市,1982年畢業於南京大學計算機系。

1982年,畢業於南京大學計算機系,1988年獲博士學位。

1994年,進入“國家教委跨世紀優 秀人才計畫”。

1993年-1994年,在英國曼徹斯特大學計算機系作為訪問學者。

1995年,獲“國家傑出青年科學基金”資助。

1997年,進入國家“百千萬人才工程”(第一、二層次)。

1997年,進入江蘇省“333”人才培養工程第二層次,並於2002年轉入第一層次。

2000年,進入長江學者計畫,被南京大學聘為特聘教授。

1995年,在聯合國大學澳門國際軟體研究所從事研究工作。

2010年5月——2016年5月,任南京大學副校長。

2016年5月——2018年1月,任南京大學常務副校長。

2018年1月—— 2018年3月,任南京大學校長(副部長級)。

2018年3月——,任第十三屆全國人民代表大會常務委員會委員、南京大學校長。

第十三屆全國人民代表大會代表

任免信息

2018年3月18日,在第十三屆全國人民代表大會第一次會議上,當選為第十三屆全國人民代表大會常務委員會委員。

主要成就

科學研究

呂建主要從事軟體方法學研究,在軟體基礎理論與方法、網構軟體方法學和新型軟體平台及其套用方面取得系列成果。提出了一種具有模型裂變能力的形式化開發方法,其數據分解新機制可用於大型程式開發的複雜性控制。研究了開放環境下軟體系統的范型、方法與技術等問題,提出了基於Agent的網構軟體方法學,探索了面向Internet軟體方法學研究的新途徑。發展了開放環境下的軟體協同技術,主持研製了新型軟體協同平台,可為開放、動態、多變環境下套用系統的開發與運行提供支撐。

呂建以探索建立新型軟體方法學作為重大科學問題導向,長期堅持該領域的基礎研究、技術創新與套用實踐,在軟體基礎理論與方法、網構軟體方法學、新型軟體平台及套用方面取得了系統性和創新性的成果,為中國軟體事業的發展作出了重要貢獻。

作為學術帶頭人,呂建教授的“面向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年任國務院學位委員會第七屆學科評議組成員;

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

聯合國大學國際計算機軟體研究所Board Membe;

中國計算機學會系統軟體專業委員會主任;

江蘇省自然科學基金委員會信息學科組組長;

江蘇省黨外知識分子聯誼會會長;

從2004年開始擔任一屆知聯會理事、二屆知聯會副會長;

“核高基”科技重大專項總體專家組成員;

自然科學基金委信息學部專家諮詢委員會委員;

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

計算機科學技術教學指導委員會副主任;

中國計算機學會副理事長,中國計算機學會軟體工程專業委員會主任。

第二屆高等學校科學研究優秀成果獎(科學技術)獎勵委員會委員。

獲獎記錄

榮譽稱號
  • ▪ 2007 被評為江蘇省“333人才培養工程”首批中青年首席科學家 (獲獎)
  • ▪ 2006 獲“江蘇省有突出貢獻中青年專家稱號” (獲獎)
  • ▪ 2001 獲國家科技部“863計畫十五周年”先進個人稱號 (獲獎)
  • ▪ 1990 被授予“做出突出貢獻的中國博士學位獲得者”稱號 (獲獎)
團隊
  • ▪ 2006 研究團隊獲得教育部創新團隊稱號 作為團隊帶頭人帶領計算機軟體新技術國家重點實驗室的“面向Internet的軟體方法與技術” (獲獎)
個人獎項
  • ▪ 2003 教育部提名國家科學技術獎自然科學一等獎(第一完成人) (提名)
  • ▪ 1999 獲中創軟體人才獎 (獲獎)
  • ▪ 1996 獲中國青年科技獎 (獲獎)
  • ▪ 1995 獲“國家傑出青年科學基金”資助 (獲獎)
  • ▪ 1994 進入“國家教委跨世紀優秀人才計畫” (獲獎)
  • ▪ 1993 獲霍英東青年教師獎(研究類) (獲獎)

人物評價

呂建教授是計算機軟體專家,他研究的軟體方法學對提高軟體生產的效率和質量做出了很大貢獻。( 南京大學評)

呂建教授以探索建立新型軟體方法學作為重大科學問題導向,長期堅持該領域的基礎研究、技術創新與套用實踐,在軟體基礎理論與方法、網構軟體方法學、新型軟體平台及套用方面取得了系統性和創新性的成果,為中國軟體事業的發展做出了重要貢獻,研究成果得到了國內外同行的廣泛引用與認可。( 江蘇網評)

為中國軟體事業發展做出了重要貢獻。 ( 中共江蘇省委評)

任免信息

2018年1月30日,中共中央組織部在南京大學宣布了中共中央、國務院的任免決定,呂建任南京大學校長(副部長級),

相關詞條

相關搜尋

熱門詞條

聯絡我們