-
梅宏
（中國科學院院士、計算機軟件專家）
鎖定
梅宏，1963年5月出生於貴州省遵義市，計算機軟件專家，中國科學院院士，發展中國家科學院院士，歐洲科學院外籍院士，高可信軟件技術教育部重點實驗室（北京大學）主任
[1]
，中國人民解放軍軍事科學院副院長
[2]
。
1980年梅宏17歲時考入南京航空航天大學計算機應用專業，先後獲得學士學位、碩士學位；1987年碩士畢業後留校工作；1989年進入上海交通大學，攻讀計算機軟件專業博士；1992年博士畢業後進入北京大學計算機科學技術系，進行博士後研究工作
[3]
，同時在北京大學任教，先後擔任講師、副研究員、教授、博士生導師；1997年獲得霍英東基金青年教師獎（研究類）；1998年獲得中國博士後科學基金會“國氏”博士後獎；1999年作為訪問科學家，前往美國貝爾實驗室學習；2001年獲得國家傑出青年科學基金資助
[4]
；2003年擔任北京大學信息科學技術學院軟件所所長；2006年擔任北京大學信息科學技術學院院長兼軟件所所長；2011年當選中國科學院院士；2013年擔任上海交通大學黨委常委、副校長
[5]
，同年當選為發展中國家科學院院士
[6]
；2014年當選國際電機電子工程學會會士
[7]
；2016年7月擔任北京理工大學黨委常委、副校長
[8]
；2018年9月任北京理工大學黨委常委、常務副校長
[9]
。2019年7月，任軍事科學院副院長
[10]
。10月20日當選為中國計算機學會第十二屆理事會理事長
[11]
。
- 中文名
- 梅宏
- 外文名
- Hong Mei
- 國 籍
- 中國
- 出生地
- 貴州省遵義市
- 出生日期
- 1963年05月20日
- 畢業院校
- 上海交通大學
梅宏人物經歷
1978年7月，高中就讀於餘慶縣敖溪中學的梅宏參加餘慶縣初中數理化競賽，獲總分第二名，物理單科第一名、數學單科第二名
[16]
。
1984年7月，畢業獲得學士學位，9月繼續在南京航空航天大學計算機科學及工程系，就讀計算機軟件專業碩士研究生。
1987年3月，畢業獲得碩士學位，之後留校工作，擔任助教（-1989年9月）。
1992年10月，畢業獲得博士學位，之後進入北京大學計算機科學技術系，進行博士後研究工作（-1994年10月），同時在北京大學任教，先後擔任講師（1992年10月-1994年10月）、副研究員（1994年11月-1997年7月）、教授、博士生導師（1997年7月-）。
1997年，獲得霍英東基金青年教師獎（研究類），1997年中創軟件人才獎。
1998年，獲得中國博士後基金會“國氏”博士後獎（現中國優秀博士後獎）。
1999年3月，作為訪問科學家，前往美國貝爾實驗室學習（-2000年4月）。
梅宏
2000年12月，擔任負責人的863項目的“軟件構件組裝技術及工具研究”通過專家組驗收，綜合評價為A-。
2001年，獲得國家傑出青年科學基金資助。
2002年9月，擔任北京大學信息科學技術學院副院長（-2006年7月）。
2003年9月，擔任北京大學信息科學技術學院軟件所所長（-2006年7月）。
2004年，獲得第八屆中國青年科技獎。
2011年12月，當選中國科學院院士
[21]
。
梅宏主要成就
梅宏科研成就
- 科研綜述
梅宏研究工作主要涉及軟件工程及軟件開發環境、軟件複用及軟件構件技術、（分佈）對象技術、軟件工業化生產技術及支持系統、新型程序設計語言等
[25]
。他針對開放網絡環境下軟件動態適應和在線演化兩個核心難題，提出基於微內核的中間件構件化體系結構和基於容器的構件在線組裝機制，建立了構件化的軟件中間件技術體系與框架。提出基於軟件體系結構（SA）的構件化軟件開發方法ABC，拓展SA到軟件全生命週期，實現了對系統級結構複雜性和一致性的有效控制。
1992年至1999年，作為核心骨幹和技術負責人之一參加了楊芙清院士主持的國家重點科技攻關項目青鳥工程的研究開發。“八五”期間，作為項目集成組長，解決了大量關鍵技術問題，為這項由全國20多所大學、研究所和企業單位承擔的大型科研項目的順利集成和最終完成做出了突出貢獻。“九五”期間，作為項目技術負責人之一和青鳥軟件生產線系統的主要設計者之一，在第一線組織項目的實施工作，配合楊芙清院士提出的軟件生產線技術的思想，提出了青鳥構件模型，制定了青鳥構件技術規範。青鳥系統已產生了很好的經濟和社會效益，促進了中國國內CASE市場的形成和發展以及軟件工程思想和技術的推廣
[26]
。
- 承擔項目&成果獎勵
截至2016年，梅宏承擔了數十項國家級科學項目，兩次擔任國家973計劃項目首席科學家，獲國家自然科學二等獎、國家技術發明二等獎、國家科技進步二等獎、教育部自然科學一等獎、教育部技術發明一等獎等科技成果獎勵
[27]
。
承擔項目
時間 | 課題/項目名稱（擔任職務） | 項目來源 |
|---|---|---|
1984.3-1984.7 | 線切割機微機控制系統的實現（已用於工業生產，系統主要實現者） | 本科畢業設計 |
1985.9-1987.5 | 交互式計算機輔助排料系統ICANS（已用於工業生產，系統實現者） | 碩士學位論文 |
1989.9-1992.9 | 函數式面向對象程序設計語言FOPL—設計及實現（受國家自然科學基金及863計劃資助） | 博士學位論文 |
1992.12-1995.5 | 集成化軟件工程開發環境（CASE）的標準化與實用化（課題主要骨幹，技術組成員，JB2系統集成組組長） | 國家“八五”科技攻關課題 |
1992.12-1994.6 | 面向對象的智能化軟件原型生產技術及系統（技術負責人，協助楊芙清院士主持設計及實現工作） | 863計劃課題 |
1993.6-1995.3 | 面向對象的軟件過程模型研究（課題負責人） | 博士後基金課題 |
1994.8-1996.4 | 基於複用的面向對象智能化軟件生產技術（技術負責人，協助楊芙清院士主持設計及實現工作） | 863計劃課題 |
1995.11-1997.11 | 軟件工程環境（青鳥CASE）工業化生產技術及系統的研究開發（技術組成員，專題負責人） | 國家“九五”重點科技攻關項目 |
1996.1-1998.9 | 對象的説明型形式化語義模型研究（課題負責人） | 國家教委博士點基金課題 |
1996.1-1998.12 | 基於主動對象模型的面向對象軟件開發方法及其支撐系統（第二負責人） | 國家自然科學基金課題 |
1996.8-1998.6 | 基於構件、構架複用的面向對象軟件開發技術及其系統（課題負責人之一） | 863計劃課題 |
1998.2-2000.11 | 軟件工程環境（青鳥CASE）工業化生產技術及系統的研究開發（技術組成員、專題負責人） | 國家“九五”重點科技攻關項目 |
1998.6-2001.6 | 青鳥軟件生產線系統的引進、推廣及示範工程（技術負責人） | 雲南省人民政府和北京大學省校合作項目 |
1998.12-2000.12 | 軟件開發過程自動化的理論和方法研究（技術負責人） | 教育部重點科技預研項目 |
1998.12-2000.11 | 軟件構件組裝技術及工具研究（課題負責人） | 863計劃課題 |
2000.9-2002.12 | 特徵交互及構件組裝（課題負責人） | 貝爾實驗室合作研究課題 |
2000.9-2002.12 | 面向軟件體系結構（SA）的軟件構造技術研究（課題負責人） | 自然科學基金課題 |
2001.1-2002.12 | 基於軟件體系結構的構件組裝技術研究（課題負責人） | 教育部留學回國人員啓動基金課題 |
2001.1-2002.12 | 軟件構件組裝技術及理論研究（課題負責人） | 2000年度教育部優秀青年教師資助計劃項目 |
2002.1-2004.12 | 面向構件的領域工程技術研究（課題負責人） | 教育部博士點基金 |
2002.1-2005.12 | 軟件構件組裝技術及理論研究（課題負責人） | 國家傑出青年科學基金 |
2002.1-2003.12 | 面向領域的應用中間件（課題負責人） | 教育部科技研究重大項目 |
2003.1-2006.12 | 軟件的特徵交互及互操作性的研究（課題負責人） | 自然科學基金重點課題 |
2002.12-2007.8 | Internet環境下基於Agent的軟件中間件理論和方法研究（首席科學家） | 國家重點基礎研究發展計劃（973計劃）項目 |
2003.6-2005.5 | 奧運信息系統模型的研究與建立（課題負責人） | 國家科技攻關計劃課題 |
2006.1-2008.12 | ABC方法中的求精變換技術研究（課題共同負責人） | 自然科學基金海外青年學者合作研究基金 |
2006.1-2008.12 | 面向網絡計算環境的開放軟件模型研究（課題負責人） | 自然科學基金課題 |
2006.12-2008.12 | 現代服務業共性服務集成化技術研究（課題負責人） | 國家科技支撐計劃課題 |
成果獎勵
時間 | 項目名稱 | 獎勵名稱 |
|---|---|---|
- | 大型軟件開發環境-青鳥系統 | 國家“八五”科技攻關重大科技成果 |
1996年 | 大型軟件開發環境-青鳥系統 | 電子工業部科技進步特等獎（排名9） |
1998年 | 大型軟件開發環境-青鳥系統 | 國家科技進步二等獎（排名3） |
2006年 | ||
2012年 |
- 學術報告
時間 | 學術報告 | 報告地點 |
|---|---|---|
2000.8 | 軟件構件技術 | 863第四期“全國計算機高級人才培訓班” |
2002.5 | 軟件複用和軟件構件技術――漫談及反思 | 南京大學百年校慶世界著名科學家論壇“軟件新技術”分會 |
2002.10 | 軟件工程現狀和進展 | 南京航空航天大學50年校慶名家講座 |
2003.3 | ABC: Architecture-based Component Composition | International Workshop on Robust Software Construction |
2004.6 | Internet時代的軟件技術 | 中科院技術科學部第10次技術科學論壇“信息技術科學” |
2004.9 | ABC: Supporting Software Architectures in the Whole Lifecycle | The 2nd International Conference on Software Engineering and Formal Methods |
2005.2 | ABC: Supporting Software Architectures in the Whole Lifecycle | The 3rd Workshop on Programmable Structured Documents |
2006.2 | 基於體系結構、面向構件的軟件開發方法ABC | 中科院信息技術科學部第19次技術科學論壇“軟件技術” |
梅宏人才培養
梅宏認為：大學最重要的產出是人才，要以學生為本。科研固然非常重要，但任何科學成果都有過時的時候，只有人才的培養才是持久的。北京大學之所以成為北京大學，不僅在於有一批優秀的科研成果，更在於北京大學培養了一批傑出的人才，為社會各界做出貢獻，是他們鑄就了北京大學的輝煌
[26]
。
梅宏榮譽表彰
時間 | 榮譽/表彰 |
|---|---|
1994年 | 北京大學青年教師“安泰獎” |
1995年 | 國家“八五”科技攻關電子行業先進個人 |
1996年 | 北京大學青年教師“安泰項目獎” |
1997年 | 北京大學“大眾獎教金”特等獎 |
1997年 | 霍英東基金青年教師獎（研究類） |
1997年 | 中創軟件人才獎 |
1998年 | 中國博士後基金會“國氏”博士後獎（現更名為中國優秀博士後獎） |
2000年 | |
2001年 | 北京大學“楊王院士獎” |
2004年 | 第八屆中國青年科技獎 |
2005年 | 全國優秀博士後表彰大會表彰 |
2015年 | IEEE計算機分會技術成就獎（Computer Society Technical Achievement Awards） |
2022年 |
梅宏社會任職
- 組織機構任職
時間 | 擔任職務 |
|---|---|
1998-2000 | 863計劃306主題軟件重大項目監理 |
2000-2004 | 中國計算機學會青年工作委員會副主任 |
2001-2006 | 863計劃“十五”計算機軟硬件技術主題專家組成員 |
2002-2005 | 中國電子學會IFIP工作委員會委員 |
2004-2007 | 第十屆、十一屆國家自然科學基金委員會計算機學科專家評審組成員 |
2006- | 863計劃“十一五”信息技術領域專家組成員 |
2024年1月 | |
- | 信息產業部軟件構件技術標準工作組組長 |
中國軟件行業協會軟件工程分會理事長 | |
中國計算機學會常務理事、軟件工程專業委員會主任 | |
國務院學位委員會計算機科學技術學科第4、第5屆評議組秘書 | |
貝爾實驗室中國基礎科學研究院顧問 | |
南京航空航天大學兼職教授 | |
中國電子學會高級會員 | |
中國計算機學會高級會員 | |
中國共創軟件聯盟理事 | |
《中國科學F輯（信息科學）》編委 | |
《軟件學報》編委 | |
《電子學報》編委 | |
《自然科學進展》編委 | |
《計算機研究與發展》編委 | |
《Chinese Journal of Electronics》編委 | |
《Journal of Computer Science and Technology》編委 | |
《International Journal of Web Services Research》編委 | |
《Frontiers of Computer Science and Software in China》編委 | |
- 學術會議任職
TOOLS’97 ASIA、TOOLS’98 ASIA、TOOLS’99 ASIA程序委員會委員（International Conference on Technology of Object-Oriented Languages）
IFIP WCC2000/ICS2000國際會議程序委員會委員、論文評審人及分會主席（2000.8,北京）
the 25th Anniversary Annual International Computer Software and Applications Conference (COMPSAC 2001)程序委員會委員（2001.10，Chicago）
the 8th Asia-Pacific Software Engineering Conference（APSEC2001）程序委員會委員（2001.12，澳門）
IFIP WCC2000/ICEUT國際會議IFIP/ACM/IEEE Panel: Computing Curricula 2001的Panelist（2000.8，北京）
4th International Conference on Formal Engineering Methods (ICFEM2002) 程序委員會委員（September 24-27, 2002，上海）
The 26th Anniversary Annual International Computer Software and Applications Conference (COMPSAC 2002)程序委員會委員（2002. 8，Oxford, UK）
The ICSM 2002 (IEEE International Conference on Software Maintenance) 程序委員會委員 (2002. 10, Montréal, Canada)
HASE 2002 (Seventh IEEE International High-Assurance Systems Engineering Symposium) 程序委員會委員 (2002.10，Tokyo, Japan)
2001年8月“全國軟件技術與軟件產業研討會”程序委員會主席，大連
2002年11月“全國軟件與應用學術會議（NASAC2002）”程序委員會主席，北京
The WRSC 2003 (International Workshop on Robust Software Construction) 特邀報告人 (2003. 2. 28-3. 2, Hayama, Kanagawa, Japan)
The Third International Conference on Quality Software（QSIC 2003）程序委員會委員（Dallas, Texas, USA, November 6 - 7, 2003）
The ICSM 2003 (IEEE International Conference on Software Maintenance) 程序委員會委員 (2003. 9. 22-26, Amsterdam, The Netherlands)
2003年11月14-15 “全國軟件與應用學術會議（NASAC2003）”程序委員會主席，上海
The SPLC2004 (The Third Software Product Line Conference) 程序委員會委員 (August 30-September 2, 2004, Boston, Massachusetts)
The ICSM 2004 (IEEE International Conference on Software Maintenance) 程序委員會委員 (2004. 9. 11-17, Chicago Illinois, USA)
The SEFM2004 (the 2nd International Conference on Software Engineering and Formal Methods )特邀報告人(28-30 Sept. 2004, Beijing, China)
The PSD 2005 (the third international workshop on Programmable Structured Documents) 特邀報告人(January 26 – 28, 2005, Yokohama, Japan)
APWeb05 (The Seventh Asia Pacific Web Conference)程序委員會委員(March 29 - April 1, 2005, Shanghai, China)
The ICSM 2005 (IEEE International Conference on Software Maintenance) 程序委員會委員(Budapest, Hungary, Sept 25-30, 2005)
The QSIC 2005 (the Fifth International Conference on Quality Software)程序委員會委員(Melbourne, Australia, September 19-21, 2005)
The GPCE'05 (Fourth International Conference on Generative Programming and Component Engineering) 程序委員會委員(Sep 29 - Oct 1, 2005, Tallinn, Estonia)
The MoDELS2005/UML （the 8th International Conference on Model Driven Engineering Languages and Systems）程序委員會委員(Jamaica, 2-7 October, 2005)
The COMPSAC 2005 (the 29th Annual International Computer Software and Applications Conference) 程序委員會共同主席 (Edinburgh, UK, 26-28 July 2005)
The SEKE 2006 (the 18th International Conference on Software Engineering and Knowledge Engineering ) 程序委員會委員 (San Francisco Bay, USA, July 5-7, 2006)
The ICWS 2006 (the 2006 IEEE International Conference on Web Services ) 程序委員會委員 (September 18-22, 2006, Chicago, USA)
The COMPSAC 2006 (the 30th Annual International Computer Software and Applications Conference) 程序委員會委員 (Chicago, USA, September 18-21, 2006)
The ICSM 2006 (the 22nd IEEE International Conference on Software Maintenance) 程序委員會委員(Philadelphia, Pennsylvania, USA, Sept 24-27, 2006)
The QSIC 2006 (the 6th International Conference on Quality Software)程序委員會主席(Beijing, China, Oct 26-28, 2006)
梅宏人物評價
- 參考資料
-
- 1. 實驗室組織機構 實驗室主任： 梅宏 ．高可信軟件技術教育部重點實驗室(北京大學) [引用日期2018-05-19]
- 2. 《機智過人》第三季硬核技術致敬壯麗70年 賦能行業擁抱“機智”新時代 ．央視網[引用日期2019-08-21]
- 3. 北京大學博士後概況 ．北京大學國家發展研究院．2008-10-10[引用日期2018-05-19]
- 4. 傑出青年名錄 > 獲資助者名單 2001年 ．國家自然科學基金委員會[引用日期2018-05-19]
- 5. 梅宏、張安勝任上海交通大學副校長 ．人民網-中國共產黨新聞網．2014年06月13日[引用日期2018-05-19]
- 6. 梅宏教授當選發展中國家科學院院士 ．北京大學軟件工程研究所[引用日期2018-05-19]
- 7. 梅宏院士當選IEEE Fellow ．北京大學軟件工程研究所[引用日期2015-04-06]
- 8. 梅宏同志任我校黨委常委、副校長 ．北京理工大學新聞網．2016-07-12[引用日期2016-07-12]
- 9. 梅宏 ．北京理工大學[引用日期2019-02-26]
- 10. 人事觀察|中科院院士梅宏任軍事科學院副院長 ．財新網 [引用日期2019-09-10]
- 11. CCF新任理事長梅宏院士：中國要領先AI基礎研究還任重道遠 ．騰訊[引用日期2019-11-08]
- 12. 院士名單與簡介 > 全體院士名單 梅宏 ．中國科學院[引用日期2018-05-17]
- 13. 梅宏 ．北京大學[引用日期2019-07-27]
- 14. 餘慶名人 梅宏 ．中國·遵義·餘慶政府．2012-08-28[引用日期2018-05-19]
- 15. 梅宏到敖溪中學作勵志報告 ．今日餘慶[引用日期2018-05-19]
- 16. 風雨兼程數十年 一路高歌創輝煌 ——餘慶縣敖溪中學發展歷程 ．今日餘慶[引用日期2018-05-19]
- 17. 熱烈祝賀我院畢業生梅宏教授當選中國科學院院士 ．南京航空航天大學．2011年12月10日 [引用日期2018-05-19]
- 18. 梅宏校友當選中國科學院院士 ．上海交通大學電子信息與電氣工程學院．2011-12-19[引用日期2018-05-19]
- 19. 高松、梅宏、宗傳明教授入選2006年“新世紀百千萬人才工程” ．北京大學新聞中心．2006-11-10[引用日期2018-05-19]
- 20. 梅宏教授被國務院學位委員會聘為第六屆學科評議組（計算機科學與技術組）成員 ．北京大學軟件工程研究所[引用日期2018-05-19]
- 21. 當選中國科學院院士
- 22. 中共教育部黨組關於朱健等同志任職的通知 ．教育部．2013-03-06[引用日期2013-09-24]
- 23. 北京大學高松、梅宏、朱玉賢三位教授當選發展中國家科學院院士 ．北京大學．2013-10-03[引用日期2013-10-03]
- 24. 梅宏、朱文武、聶珍釗、尚必武當選歐洲科學院外籍院士 ．澎湃[引用日期2018-09-26]
- 25. 梅宏 教授, 中科院院士 ．北京大學軟件工程研究所[引用日期2018-05-19]
- 26. “做有用的研究”——訪中國科學院院士梅宏 ．北京大學新聞中心．2012-09-06[引用日期2018-05-19]
- 27. 師資隊伍 > 教師名錄 > 博士生導師 > 梅宏 ．北京理工大學計算機學院[引用日期2018-05-19]
- 28. 2006年度國家科學技術進步獎目錄 ．國家科學技術獎勵工作辦公室[引用日期2018-05-19]
- 29. 梅宏院士榮獲IEEE Computer Society Technical Achievement Awards ．北京大學軟件工程研究所[引用日期2018-05-19]
- 30. 志存高遠 行積跬步 ——中國科學院院士梅宏採訪記 ．貴州日報[引用日期2021-04-21]
- 31. 關於公佈2022年度陳嘉庚科學獎獲獎項目和陳嘉庚青年科學獎獲獎人名單的公告 ．陳嘉庚科學獎基金會．2022-12-19[引用日期2022-12-19]
- 32. 福耀科技大學：曹德旺當選理事長，聘請梅宏為校長 ．界面新聞．2023-08-11[引用日期2023-08-11]
- 33. 2012年度國家自然科學獎獲獎項目 ．中華人民共和國科學技術部[引用日期2023-08-11]
- 34. 2022年度陳嘉庚科學獎和青年科學獎頒獎 6個項目和6名科學家獲獎 ．百家號．2023-09-02
- 35. 學部科學道德建設委員會 ．中國科學院．2023-11-27
- 36. 中電數據科學與智能工程研究院在京成立 ．新華網．2024-01-16
- 收起
