梅宏（1963年5月20日-），出生于贵州余庆[1]，毕业于上海交通大学，计算机软件专家，中国科学院院士，欧洲科学院外籍院士，高可信软件技术教育部重点实验室（北京大学）主任，中国人民解放军军事科学院副院长。
其主要从事软件工程和系统软件领域的研究，曾获得国家科技进步二等奖、国家技术发明奖一等奖。
中文名梅宏
出生地贵州余庆
性别男
毕业院校上海交通大学
出生日期1963年5月20日
国籍中国
职务中国人民解放军军事科学院副院长
主要成就2011年当选为中国科学院院士
2013年当选发展中国家科学院院士
人物经历
1963年5月20日，梅宏出生于贵州省遵义市余庆县白泥镇，在余庆县白泥镇小学读完一年级，然后跟随到余庆县敖溪镇创办敖溪中学的父亲到了敖溪，在敖溪中学读初中。
1978年7月，高中就读于余庆县敖溪中学的梅宏参加余庆县初中数理化竞赛，获总分第二名，物理单科第一名、数学单科第二名。
1980年9月，17岁的他以优异的成绩考入南京航空航天大学计算机科学及工程系，之后在上海交通大学、北京大学和美国贝尔实验室学习深造。
1984.9—1987.3，南京航空航天大学计算机科学及工程系计算机软件专业，获硕士学位。
1987.4—1989.9，南京航空航天大学计算机科学及工程系助教。
1989.9—1992.10计算机科学与工程系，计算机软件专业，获博士学位。
1992.12－1994.10在北京大学计算机科学技术系计算机软件专业从事博士后研究。
1994.11—1997.7，北京大学计算机科学技术系副研究员。
1997.8— 北京大学计算机科学技术系教授、博士生导师。
2002.9－2006.7，北京大学信息科学技术学院副院长。
2003.9－2006.7，北京大学信息科学技术学院软件所所长。
2006.7－ ，北京大学信息科学技术学院院长兼软件所所长。
1999.3—2000.4，美国贝尔实验室访问科学家。
2011年12月 ，当选中国科学院院士。
2013年当选为发展中国家科学院院士。
2013.3 任上海交通大学党委常委、副校长。
2016.7任北京理工大学党委常委、副校长。
2018年9月22日，梅宏当选2018年度欧洲科学院外籍院士。[2]
2019年7月，任中国人民解放军军事科学院副院长。[3]
任免信息
2016年7月12日，北京理工大学召开干部大会宣布，上海交通大学副校长梅宏调任北京理工大学党委常委、副校长。[4]
科研项目
1992年至1999年，作为核心骨干和技术负责人之一参加了杨芙清院士主持的国家重点科技攻关项目青鸟工程的研究开发。“八五”期间，作为项目集成组长，解决了大量关键技术问题，为这项由全国20多所大学、研究所和企业单位承担的大型科研项目的顺利集成和最终完成做出了突出贡献。“九五”期间，作为项目技术负责人之一和青鸟软件生产线系统的主要设计者之一，在第一线组织项目的实施工作，配合杨芙清院士提出的软件生产线技术的思想，提出了青鸟构件模型，制定了青鸟构件技术规范。青鸟系统已产生了很好的经济和社会效益，促进了国内CASE市场的形成和发展以及软件工程思想和技术的推广。
主要从事软件工程和系统软件领域的研究。在构件化软件中间件、开发方法学和工具环境等方面取得了系列成果。针对开放网络环境下软件动态适应和在线演化两个核心难题，提出基于微内核的中间件构件化体系结构和基于容器的构件在线组装机制，建立了构件化的软件中间件技术体系与框架。提出基于软件体系结构（SA）的构件化软件开发方法ABC，拓展SA到软件全生命周期，实现了对系统级结构复杂性和一致性的有效控制。
科研成就
梅宏研究工作主要涉及软件工程及软件开发环境、软件复用及软件构件技术、（分布）对象技术、软件工业化生产技术及支持系统、新型程序设计语言等。他针对开放网络环境下软件动态适应和在线演化两个核心难题，提出基于微内核的中间件构件化体系结构和基于容器的构件在线组装机制，建立了构件化的软件中间件技术体系与框架。提出基于软件体系结构（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.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年 | 基于Internet、以构件库为核心的软件开发平台 | 国家科技进步二等奖（排名2）[28] |
2012年 | 全生命周期软件体系结构建模理论与方法 | 国家自然科学二等奖（排名1）[29] |
时间 | 学术报告 | 报告地点 |
|---|---|---|
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次技术科学论坛“软件技术” |
荣誉记录
时间 | 荣誉/表彰 |
|---|---|
1994年 | 北京大学青年教师“安泰奖” |
1995年 | 国家“八五”科技攻关电子行业先进个人 |
1996年 | 北京大学青年教师“安泰项目奖” |
| 1996年 | 电子工业部科技进步特等奖（排名9） |
1997年 | 北京大学“大众奖教金”特等奖 |
1997年 | 霍英东基金青年教师奖（研究类） |
1997年 | 中创软件人才奖 |
| 1998年 | 国家科技进步二等奖（排名3） |
1998年 | 中国博士后基金会“国氏”博士后奖（现更名为中国优秀博士后奖） |
2000年 | 国务院政府特殊津贴 |
2001年 | 北京大学“杨王院士奖” |
| 2001年 | 国家杰出青年科学基金 |
2004年 | 第八届中国青年科技奖 |
2005年 | 全国优秀博士后表彰大会表彰 |
2015年 | IEEE计算机分会技术成就奖（Computer Society Technical Achievement Awards） |
| 2019年1月8日 | 国家技术发明奖一等奖 |
学术会议
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)
三、学术报告
863第四期“全国计算机高级人才培训班”主讲专家，讲授“软件构件技术”（2000.8）
2002.5.22于南京大学百年校庆“世界著名科学家论坛”“软件新技术”分会场作“软件复用和软件构件技术――漫谈及反思”的学术报告。
2002.10.21于南京航空航天大学50年校庆“名家讲座”做“软件工程现状和进展”的学术报告
2003.3.2于日本International Workshop on Robust Software Construction (WRSC 2003)上做“ABC: Architecture-based Component Composition”的特邀报告
2004.6.1于中国科学院技术科学部第10次技术科学论坛“信息技术科学”上做 “Internet时代的软件技术”的学术报告
2004.9.30于The SEFM2004 (the 2nd International Conference on Software Engineering and Formal Methods )做“ABC: Supporting Software Architectures in the Whole Lifecycle”的特邀报告
2005.2.27于日本The 3rd Workshop on Programmable Structured Documents (PSD 2005)上做“ABC: Supporting Software Architectures in the Whole Lifecycle”的特邀报告
2006.2.21于中国科学院信息技术科学部第19次技术科学论坛“软件技术”上做“基于体系结构、面向构件的软件开发方法ABC”的学术报告
社会兼职
863计划306主题软件重大项目监理（1998－2000）
863计划“十五”计算机软硬件技术主题专家组成员（2001－2006）
863计划“十一五”信息技术领域专家组成员（2006－今）
第十届、十一届国家自然科学基金委员会计算机学科专家评审组成员（2004-2007）
信息产业部软件构件技术标准工作组组长
中国软件行业协会软件工程分会理事长
贝尔实验室中国基础科学研究院顾问
南京航空航天大学兼职教授
中国科学F辑（信息科学）编委
软件学报编委
电子学报编委
Chinese Journal of Electronics编委
Journal of Computer Science and Technology编委
计算机研究与发展编委
International Journal of Web Services Research (JWSR)编委
自然科学进展编委
Frontiers of Computer Science and Software in China编委
中国计算机学会常务理事、软件工程专业委员会主任
中国计算机学会青年工作委员会副主任（2000-2004）
中国共创软件联盟理事
中国电子学会高级会员、中国计算机学会高级会员
中国电子学会IFIP工作委员会委员（2002－2005）
国务院学位委员会计算机科学技术学科第4、第5届评议组秘书
人物评价
梅宏在构件化软件中间件、开发方法学和工具环境等方面取得了系列成果。（中国科学院评）
梅宏在基于构件的软件复用及其标准化方面的杰出贡献。（ IEEE计算机分会技术成就奖评）
相关推荐
最新文章