梅宏
中国科学院院士、计算机软件专家
梅宏,1963年5月20日出生于贵州省遵义市,计算机软件专家,中国科学院院士,发展中国家科学院院士,欧洲科学院外籍院士,高可信软件技术教育部重点实验室(北京大学)主任,中国人民解放军军事科学院副院长,国家电子政务专家委员会委员。
人物经历
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年,获得第八届中国青年科技奖
2006年7月,担任北京大学信息科学技术学院院长兼软件所所长。同年入选国家百千万人才工程国家级人选。
2009年,被国务院学位委员会聘为第六届学科评议组(计算机科学与技术组)成员。
2011年12月,当选中国科学院院士
2013年3月,担任上海交通大学党委常委、副校长。10月在阿根廷首都布宜诺斯艾利斯召开的发展中国家科学院第24届会议当选为发展中国家科学院院士
2014年,当选国际电机电子工程学会会士(IEEE Fellow)。
2016年7月,担任北京理工大学党委常委、副校长。
2018年9月,担任北京理工大学党委常委、常务副校长。
2018年9月22日,欧洲科学院(AcademiaEuropaea)正式公布了2018年度新增院士和外籍院士名单正式揭晓,梅宏当选外籍院士。
2019年7月,担任军事科学院副院长。
2023年9月,完成的“面向网构软件的软件体系结构建模理论、方法及应用”获得2022年度陈嘉庚科学奖信息技术科学奖。
主要成就
科研成就
梅宏研究工作主要涉及软件工程及软件开发环境、软件复用及软件构件技术、(分布)对象技术、软件工业化生产技术及支持系统、新型程序设计语言等。他针对开放网络环境下软件动态适应和在线演化两个核心难题,提出基于微内核的中间件构件化体系结构和基于容器的构件在线组装机制,建立了构件化的软件中间件技术体系与框架。提出基于软件体系结构(SA)的构件化软件开发方法ABC,拓展SA到软件全生命周期,实现了对系统级结构复杂性和一致性的有效控制。
1992年至1999年,作为核心骨干和技术负责人之一参加了杨芙清院士主持的国家重点科技攻关项目青鸟工程的研究开发。“八五”期间,作为项目集成组长,解决了大量关键技术问题,为这项由全国20多所大学、研究所和企业单位承担的大型科研项目的顺利集成和最终完成做出了突出贡献。“九五”期间,作为项目技术负责人之一和青鸟软件生产线系统的主要设计者之一,在第一线组织项目的实施工作,配合杨芙清院士提出的软件生产线技术的思想,提出了青鸟构件模型,制定了青鸟构件技术规范。青鸟系统已产生了很好的经济和社会效益,促进了中国国内CASE市场的形成和发展以及软件工程思想和技术的推广。
截至2016年,梅宏承担了数十项国家级科学项目,两次担任国家973计划项目首席科学家,获国家自然科学二等奖、国家技术发明二等奖、国家科技进步二等奖、教育部自然科学一等奖、教育部技术发明一等奖等科技成果奖励。
承担项目
成果奖励
人才培养
梅宏认为:大学最重要的产出是人才,要以学生为本。科研固然非常重要,但任何科学成果都有过时的时候,只有人才的培养才是持久的。北京大学之所以成为北京大学,不仅在于有一批优秀的科研成果,更在于北京大学培养了一批杰出的人才,为社会各界做出贡献,是他们铸就了北京大学的辉煌。
2006年,梅宏出任北京大学信息科学技术学院院长以后,在学院学科布局、人才引进、教学培养体系、创新性科研、学生服务保证与组织管理等方面都做出了大胆的尝试和有益的探索。
荣誉表彰
社会任职
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计算机分会技术成就奖评)
参考资料
实验室组织机构 实验室主任: 梅宏.高可信软件技术教育部重点实验室(北京大学) .
北京大学博士后概况.北京大学国家发展研究院.2008-10-10
最新修订时间:2024-12-09 14:22
目录
概述
人物经历
参考资料