共找到2條詞條名為梅宏的結果 展開

梅宏

中國科學院士、計算機軟體專家

梅宏,1963年5月出生於貴州省遵義市,計算機軟體專家,中國科學院院士,發展中國家科學院院士,歐洲科學院外籍院士,高可信軟體技術教育部重點實驗室(北京大學)主任,北京理工大學黨委常委、常務副校長。

1980年梅宏17歲時考入南京航空航天大學計算機應用專業,先後獲得學士學位、碩士學位;1987年碩士畢業后留校工作;1989年進入上海交通大學,攻讀計算機軟體專業博士;1992年博士畢業後進入北京大學計算機科學技術系,進行博士后研究工作,同時在北京大學任教,先後擔任講師、副研究員、教授、博士生導師。

1997年獲得霍英東基金青年教師獎(研究類);1998年獲得中國博士后科學基金會“國氏”博士后獎;1999年作為訪問科學家,前往美國貝爾實驗室學習;2001年獲得國家傑出青年科學基金資助;2003年擔任北京大學信息科學技術學院軟體所所長。

2005年獲聘為教育部長江學者計劃特聘教授;2006年擔任北京大學信息科學技術學院院長兼軟體所所長;2011年當選中國科學院院士;2013年擔任上海交通大學黨委常委、副校長,同年當選為發展中國家科學院院士;2014年當選國際電機電子工程學會會士;2016年7月擔任北京理工大學黨委常委、副校長;2018年9月任北京理工大學黨委常委、常務副校長。

梅宏主要從事軟體工程和系統軟體領域的研究。2020年1月11日,任中國計算機學會第十一屆理事會理事長。

人物經歷


梅宏
梅宏
1963年5月20日,梅宏出生於貴州省遵義市餘慶縣白泥鎮,在餘慶縣讀完小學、初中。
1978年7月,高中就讀於餘慶縣敖溪中學的梅宏參加餘慶縣初中數理化競賽,獲總分第二名,物理單科第一名、數學單科第二名。
1980年9月,17歲時考入南京航空航天大學計算機科學及工程系計算機應用專業。1984年7月,畢業獲得學士學位,9月繼續在南京航空航天大學計算機科學及工程系,就讀計算機軟體專業碩士研究生。
1987年3月,畢業獲得碩士學位,之後留校工作,擔任助教(1989年9月)。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年,獲得第八屆中國青年科技獎。2005年,獲聘為教育部長江學者計劃特聘教授。
2006年7月,擔任北京大學信息科學技術學院院長兼軟體所所長。同年入選國家百千萬人才工程國家級人選。2009年,被國務院學位委員會聘為第六屆學科評議組(計算機科學與技術組)成員。
2011年12月,當選中國科學院院士。2013年3月,擔任上海交通大學黨委常委、副校長。10月在阿根廷首都布宜諾斯艾利斯召開的發展中國家科學院第24屆會議當選為發展中國家科學院院士。
2014年,當選國際電機電子工程學會會士(IEEE Fellow)。
2016年7月,擔任北京理工大學黨委常委、副校長。2018年9月,擔任北京理工大學黨委常委、常務副校長。2018年9月22日,歐洲科學院(AcademiaEuropaea)正式公布了2018年度新增院士和外籍院士名單正式揭曉,梅宏當選外籍院士。
2019年7月,任軍事科學院副院長。
2020年1月11日,任中國計算機學會第十一屆理事會理事長。

主要成就


科研成就

科研綜述
梅宏研究工作主要涉及軟體工程及軟體開發環境、軟體復用及軟體構件技術、(分佈)對象技術、軟體工業化生產技術及支持系統、新型程序設計語言等。他針對開放網路環境下軟體動態適應和在線演化兩個核心難題,提出基於微內核的中間件構件化體系結構和基於容器的構件在線組裝機制,建立了構件化的軟體中間件技術體系與框架。提出基於軟體體系結構(SA)的構件化軟體開發方法ABC,拓展SA到軟體全生命周期,實現了對系統級結構複雜性和一致性的有效控制。
1992年至1999年,作為核心骨幹和技術負責人之一參加了楊芙清院士主持的國家重點科技攻關項目青鳥工程的研究開發。“八五”期間,作為項目集成組長,解決了大量關鍵技術問題,為這項由全國20多所大學、研究所和企業單位承擔的大型科研項目的順利集成和最終完成做出了突出貢獻。“九五”期間,作為項目技術負責人之一和青鳥軟體生產線系統的主要設計者之一,在第一線組織項目的實施工作,配合楊芙清院士提出的軟體生產線技術的思想,提出了青鳥構件模型,制定了青鳥構件技術規範。青鳥系統已產生了很好的經濟和社會效益,促進了中國國內CASE市場的形成和發展以及軟體工程思想和技術的推廣。
承擔項目成果獎勵
截至2016年,梅宏承擔了數十項國家級科學項目,兩次擔任國家973計劃項目首席科學家,獲國家自然科學二等獎、國家技術發明二等獎、國家科技進步二等獎、教育部自然科學一等獎、教育部技術發明一等獎等科技成果獎勵。
承擔項目
時間課題/項目名稱(擔任職務)項目來源
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.8Internet環境下基於Agent的軟體中間件理論和方法研究(首席科學家)國家重點基礎研究發展計劃(973計劃)項目
2003.6-2005.5奧運信息系統模型的研究與建立(課題負責人)國家科技攻關計劃課題
2006.1-2008.12ABC方法中的求精變換技術研究(課題共同負責人)自然科學基金海外青年學者合作研究基金
2006.1-2008.12面向網路計算環境的開放軟體模型研究(課題負責人)自然科學基金課題
2006.12-2008.12現代服務業共性服務集成化技術研究(課題負責人)國家科技支撐計劃課題
成果獎勵
時間項目名稱獎勵名稱
大型軟體開發環境-青鳥系統國家“八五”科技攻關重大科技成果
1996年大型軟體開發環境-青鳥系統電子工業部科技進步特等獎(排名9)
1998年大型軟體開發環境-青鳥系統國家科技進步二等獎(排名3)
2006年基於Internet、以構件庫為核心的軟體開發平台國家科技進步二等獎(排名2) 
2012年全生命周期軟體體系結構建模理論與方法國家自然科學二等獎(排名1) 
• 學術報告
時間學術報告報告地點
2000.8軟體構件技術863第四期“全國計算機高級人才培訓班”
2002.5軟體復用和軟體構件技術――漫談及反思南京大學百年校慶世界著名科學家論壇“軟體新技術”分會
2002.10軟體工程現狀和進展南京航空航天大學50年校慶名家講座
2003.3ABC: Architecture-based Component CompositionInternational Workshop on Robust Software Construction
2004.6Internet時代的軟體技術中科院技術科學部第10次技術科學論壇“信息技術科學”
2004.9ABC: Supporting Software Architectures in the Whole LifecycleThe 2nd International Conference on Software Engineering and Formal Methods
2005.2ABC: Supporting Software Architectures in the Whole LifecycleThe 3rd Workshop on Programmable Structured Documents
2006.2基於體系結構、面向構件的軟體開發方法ABC中科院信息技術科學部第19次技術科學論壇“軟體技術”

榮譽表彰

時間榮譽/表彰
1994年北京大學青年教師“安泰獎”
1995年國家“八五”科技攻關電子行業先進個人
1996年北京大學青年教師“安泰項目獎”
1997年北京大學“大眾獎教金”特等獎
1997年霍英東基金青年教師獎(研究類)
1997年中創軟體人才獎
1998年中國博士后基金會“國氏”博士后獎(現更名為中國優秀博士后獎)
2000年國務院政府特殊津貼
2001年北京大學“楊王院士獎”
2004年第八屆中國青年科技獎
2005年全國優秀博士后表彰大會表彰
2015年IEEE計算機分會技術成就獎(Computer Society Technical Achievement Awards)

社會任職

組織機構任職
時間擔任職務
1998-2000863計劃306主題軟體重大項目監理
2000-2004中國計算機學會青年工作委員會副主任
2001-2006863計劃“十五”計算機軟硬體技術主題專家組成員
2002-2005中國電子學會IFIP工作委員會委員
2004-2007第十屆、十一屆國家自然科學基金委員會計算機學科專家評審組成員
2006-863計劃“十一五”信息技術領域專家組成員
信息產業部軟體構件技術標準工作組組長
中國軟體行業協會軟體工程分會理事長
中國計算機學會常務理事、軟體工程專業委員會主任
國務院學位委員會計算機科學技術學科第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)

人物評價


梅宏在構件化軟體中間件、開發方法學和工具環境等方面取得了系列成果。(中國科學院評)
梅宏在基於構件的軟體復用及其標準化方面的傑出貢獻。( IEEE計算機分會技術成就獎評)