梅宏
梅宏(1963年5月-),出生于贵州省遵义市余庆县,中国计算机软件专家,中国科学院院士,北京大学信息科学技术学院教授,新长江学者奖励计划特聘教授,博士生导师,发展中国家科学院院士,欧洲科学院外籍院士,高可信软件技术教育部重点实验室(北京大学)主任,中国人民解放军军事科学院副院长。
梅宏的人生经历较为丰富,在科研和教育领域都有一定建树。1980年前,梅宏在余庆县读完小学、初中;1980年,他考入南京航空航天大学计算机科学及工程系,1984和1987年于该校获学士和硕士学位,并于1992年上海交通大学获博士学位,1994年从北京大学博士后出站。1999年3月-2000年4月在美国贝尔实验室任访问科学家。2005年他被聘为教育部长江学者计划特聘教授,2011年12月,梅宏当选中国科学院院士。2013年梅宏继中国科学院院士后又当选为发展中国家科学院院士,同年担任上海交通大学党委常委、副校长。2014年梅宏当选国际电机电子工程学会会士。2016年7月起担任北京理工大学党委常委、副校长。2018年9月22日梅宏当选2018年度欧洲科学院外籍院士,同年担任北京理工大学党委常委、常务副校长。2019年10月20日,梅宏当选第十二届中国计算机学会(中国计算机学会夏培肃奖)理事长。
梅宏主要从事软件工程和系统软件领域的研究。在构件化软件中间件、开发方法学和工具环境等方面取得了系列成果。2019年1月8日,梅宏领衔完成的“云-端融合系统的资源反射机制及高效互操作技术”项目获得2018年度国家技术发明奖一等奖。梅宏还曾获得国家自然科学二等奖、国家技术发明二等奖、国家科技进步二等奖、教育部自然科学一等奖、教育部技术发明一等奖等科技成果奖励。他的个人荣誉包括霍英东基金青年教师奖(研究类)、中国优秀博士后奖、国家杰出青年科学基金获得者、中国青年科技奖、国家百千万人才工程国家级人选、何梁何利基金奖、以及国家中华人民共和国国家自然科学基金委员会创新研究群体学术带头人等称号。
人物经历
早年经历
1963年5月,梅宏出生于贵州遵义余庆县,他在白泥镇读完小学一年级后,一家人因父亲工作调动而迁到敖溪镇。梅宏从小成绩优异,1980年前在当地读完小学、初中。青少年时期的梅宏对文学感兴趣,读过《封神演义》、四大名著(《红楼梦》《西游记》《三国演义》《水浒传》)、“三花”(《山菊花》《苦菜花》《迎春花》)和《艳阳天》等小说,后来又受到《科学的春天》《哥德巴赫猜想》等文章的影响,坚定了努力成为科学家的理想。
1980年,梅宏时年17岁,在高考中取得全县第一名、贵州省二十多名的成绩,原本第一志愿报考清华大学无线电专业,因不服从调剂和体测表被错调等原因未被录取,最后被南京航空航天大学计算机科学及工程系录取,且在本科期间热衷于各类学生活动。他在南京航空航天大学先后取得学士和硕士学位,后于1989年至1992年在上海交通大学计算机科学与工程系师从孙永强教授攻读计算机软件专业博士学位。
工作经历
1992年,梅宏来到北京大学,师从著名计算机软件科学家杨芙清院士进行博士后研究。1999年3月,到美国贝尔实验室做访问科学家。2000年4月,访问结束回国后,他在北京大学继续进行计算机软件研究。2004年,获得第八届中国青年科技奖。2005年,获得中国优秀博士后奖,同年被聘为教育部长江学者奖励计划特聘教授。2006年,梅宏入选“新世纪百千万人才工程”国家级人选。2009年,他被国务院学位委员会聘为第六届学科评议组(计算机科学与技术组)成员。2011年12月,他成功当选中国科学院院士。2012年4月5日,梅宏回到家乡敖溪镇,为敖溪中学的学生作了一场励志报告。
2012年梅宏获得何梁何利基金奖,将奖金20万港元悉数捐给了母校敖溪中学。2013年他当选为发展中国家科学院院士院士,同年开始担任上海交通大学党委常委、副校长。2014年梅宏当选IEEE Fellow。2015年11月20日,梅宏向家乡新建成的敖溪小学捐建一座思学亭,梅宏给学生们留下寄语:“志存高远,行积跬步”。2015年梅宏获得IEEE计算机协会技术成就奖。2016年7月担任北京理工大学党委常委、副校长。
2017年12月8日下午,中国共产党中央委员会政治局就实施国家大数据战略进行第二次集体学习,期间梅宏就大数据发展问题作了讲解,并提出意见和建议。2018年9月22日,欧洲科学院正式公布了2018年度新增院士和外籍院士名单,梅宏当选外籍院士。2018年11月7日,在第五届世界互联网大会的“世界互联网领先科技成果发布活动”中,梅宏和黄罡团队研发的“破解信息孤岛的接口高效互操作技术与燕云DaaS系统”入选15项世界互联网领先科技成果,并由黄罡进行现场发布。2019年1月8日,梅宏领衔完成的“云-端融合系统的资源反射机制及高效互操作技术”项目获得2018年度国家技术发明奖一等奖。2019年1月29日,梅宏通过余庆县春节联欢晚会向家乡人民送上新春祝福。
2019年7月,梅宏担任军事科学院副院长。2019年10月20日,他担任CCF第十二届理事会理事长。2020年,他入选2020全球前2%顶尖科学家榜单。2021年5月4日,梅宏操作系统团队研发成果XiUOS矽璓工业物联操作系统正式在确实Trustie和木兰开源社区发布。2022年12月16日,梅宏院士和黄罡教授完成的“面向网构软件的软件体系结构建模理论、方法及应用”成果获得2022年陈嘉庚科学奖信息技术科学奖。2023年2月,“数字技术的伦理研究”项目启动会在南京大学举行,梅宏主持会议并作总结讲话。同年8月,担任福州市福耀高等研究院/福耀科技大学(筹)校长。2024年3月25日,梅宏辞去福州市福耀高等研究院院长/福耀科技大学(暂名)校长职务。
主要成就
科研成就
科研概述
梅宏主要从事软件工程和系统软件领域的研究。在构件化软件中间件、开发方法学和工具环境等方面取得了系列成果。针对开放网络环境下软件动态适应和在线演化两个核心难题,提出基于微内核的中间件构件化体系结构和基于容器的构件在线组装机制,建立了构件化的软件中间件技术体系与框架。
2018年11月7日,在第五届世界互联网大会的“世界互联网领先科技成果发布活动”中,梅宏和黄罡团队研发的“破解信息孤岛的接口高效互操作技术与燕云DaaS系统”入选15项世界互联网领先科技成果,并由黄罡进行现场发布。2021年5月4日,梅宏操作系统团队研发成果XiUOS矽璓工业物联操作系统正式在确实Trustie和木兰开源社区发布。
梅宏和黄罡团队通过长期研究研究与实践,提出基于软件体系结构(SA)的构件化软件开发方法ABC,拓展SA到软件全生命周期,实现了对系统级结构复杂性和一致性的有效控制。
课题项目
数据来源:
科研奖项
获国家技术发明授权10余项。承担了数十项国家级科学项目,两次担任国家973计划项目首席科学家。曾获国家技术发明奖一等奖、国家自然科学二等奖、国家技术发明二等奖、国家科技进步二等奖、教育部自然科学一等奖、教育部技术发明一等奖等科技成果奖励。
主要论文与著作
学术论文
梅宏发表的学术论文有150余篇,并多次获国际会议最佳论文与优秀论文荣誉,以下是他较为重要的一些中英文论文。
学术报告
出版著作
经典语录
对于自己所取得的诸多成就,梅宏曾平静地表示:“我始终相信,天才在世界上只是极少部分,大多数人是站在同一水平线上的,差异只是在于刻苦的程度、坚持的时间以及自身的责任感而已。”
对于大学选择专业,梅宏认为:“我始终欣赏通识教育。大学是一个人的人生观、世界观形成的最为重要的阶段,在这个时期应该多学基础知识,这可能对将来的发展更好。所以,大学专业的选择不用太在意,而且以后改换专业的机会也很多。即便是我们过去那个年代,学计算机专业出来的人,很多后来也是从事了其他行业的工作。”
关于中国高等教育发展,梅宏表示:“中国的大学教育已经进入一个大众化时代。如果说我们过去的大学教育是精英教育,现在随着社会的发展,大学教育变成了一个大众化的教育。我觉得大学阶段更重要的还是通识教育,是为人生打好基础的阶段。当前,教育部也在推进相关学科改革,如新集团工科建设。我理解,其中的要义也在于改变过去“一专业定终身”的状况,为学生的未来发展留下更多选择的可能性。理想的情况应该是,把专业的选择更多留到大学高年级甚至研究生阶段。”
关于大学管理问题,梅宏表示:“做管理工作首先要有公心,有为大家服务的意识和热情,一切以学院的发展为重。北京大学平台和环境都很好,我们的老师都有很强的责任感和积极性,所以我的工作就是为大家服务,营造一个和谐和团结的氛围。”
人才培养
梅宏在北京理工大学计算机学院每年招收博士研究生1-2名(含直博生),主要从事智能软件、大数据、系统软件等方面的研究工作。他领导的学术梯队结构合理、创新能力强,取得了一系列的重要成果,表明他具有很强的学术组织能力。在梅宏的指导下,他的许多博士生取得了骄人的成绩。张伟的博士论文《面向特征的领域建模技术研究》获2007年中国计算机学会优秀博士论文奖;刘譞哲的博士论文《基于社区的服务组装技术研究》获2010年中国计算机学会优秀博士论文奖、2011年全国优秀博士学位论文提名;2006级博士生王啸吟被教育部评为“博士研究生学术新人奖”;多名博士生入选“微软学者”“IBM英才计划”等。
关于人才培养问题,梅宏认为:“大学最重要的产出是人才,要以学生为本。科研固然非常重要,但任何科学成果都有过时的时候,只有人才的培养才是持久的。北京大学之所以成为北大,不仅在于有一批优秀的科研成果,更在于北大培养了一批杰出的人才,为社会各界做出贡献,是他们铸就了北大的辉煌。”
荣誉奖项
社会任职
数据来源:
人物评价
梅宏主要从事软件工程和系统软件领域的研究,在构件化软件中间件、开发方法学和工具环境等方面取得了系列成果。——上海交通大学
北京大学信息科学技术学院教授、中国科学院院士梅宏因其在基于构件的软件复用及其标准化方面的杰出贡献,作为唯一一位非美国学者获此殊荣。——北京大学信息科学技术学院
梅宏院士为大数据事业付出了很多努力,贡献很大。——中国电子学会副理事长兼秘书长徐晓兰
梅老师是很严谨的科研工作者、一位很严格的导师,我们的论文梅老师会逐字逐句地批改,即使是标点符号的错误也不会放过。他也是一位对学生很宽厚、充分尊重学生兴趣和选择的导师。——北京大学信息科学技术学院副教授、梅宏博士研究生刘譞哲
专注和投入是梅宏最大的特点。1992年他博士后进站,我们就发现他的办公室总是亮着灯,熬夜工作是常有的事。做科研如此,做院长从事管理他也是如此,为学院的发展付出了很大的心血。同时,他工作非常有思路,能够将国家需求与国际前沿、理想与现实很好地结合起来,也很有凝聚力,为学院带来了不少新的变化。——北京大学信息科学技术学院党委副书记陈向群
参考资料
梅宏.北京大学信息科学技术学院.2024-04-15
梅宏——中国科学院院士 发展中国家科学院院士.北京大学.2024-04-15
贵州籍院士梅宏任军事科学院副院长.澎湃新闻.2023-08-13
梅宏.北京大学教师个人主页.2023-08-13
大数据导论.读秀学术.2024-05-06
云计算.读秀学术.2024-05-06
数据治理系列丛书 数据治理之路 贵州实践.读秀学术.2024-05-06
数据治理之法.读秀学术.2024-05-06
数据治理之论.读秀学术.2024-05-06
软件研究所梅宏院士-黄罡教授团队研发的燕云DaaS系统入选世界互联网领先科技成果.高可信软件技术教育部重点实验室.2024-04-15
XiUOS矽璓工业物联操作系统开源发布.北京大学信息科学技术学院.2024-04-15
CCF第十二次会员代表大会隆重举行 梅宏当选CCF理事长.中国计算机学会.2024-05-06
中国科学院院士——梅宏.上海交通大学.2024-04-15
【贵州日报】梅宏:志存高远 行积跬步.北京理工大学新闻网.2024-04-16
院士高考回忆录 | 梅宏:不要纠结于大学读什么专业.搜狐网.2024-04-16
梅宏校友当选中国科学院院士.上海交通大学电子信息与电气工程学院.2023-08-13
第八届中国青年科技奖入选名单向社会公示.新浪科技.2023-08-13
中国青年科技奖.中国科学技术协会.2023-08-13
人事部表彰全国优秀博士后、博士后科研流动站等.中国政府网.2024-04-16
梅宏.北京理工大学计算机学院.2023-08-13
高松、梅宏、宗传明教授入选2006年“新世纪百千万人才工程”.北京大学新闻网.2023-08-14
国务院学位委员会:第六届学科评议组成员名单.中国教育和科研计算机网.2023-08-13
【2011年新增院士风采】梅宏:“做有用的研究”.北京大学新闻网.2023-08-13
100亿建大学,曹德旺说到做到!.腾讯网.2024-04-15
梅宏、朱文武、聂珍钊、尚必武当选欧洲科学院外籍院士.澎湃新闻.2023-08-13
人事观察|中科院院士梅宏任军事科学院副院长.财新网.2024-04-15
沈昌祥魏道政获中国计算机学会终身成就奖,梅宏任理事长.澎湃新闻.2023-08-13
北京大学多人入选2020全球前2%顶尖科学家榜单.北京大学新闻网.2024-04-15
梅宏院士、黄罡教授获得2022年陈嘉庚科学奖信息技术科学奖.北京大学新闻网.2023-08-13
“数字技术的伦理研究”项目启动会在南京大学举行.南京大学.2023-08-14
民建会员曹德旺先生当选福耀科技大学(筹)理事长.澎湃新闻.2023-08-13
中国科学院院士梅宏任福耀科技大学(筹)校长.中国教育在线.2024-04-15
王树国任福耀科技大学校长.今日头条.2024-04-15
2022 ACM Fellow名单公布,梅宏、李航、邢波、俞栋、俞益洲、朱文武等人入选.澎湃新闻.2023-08-13
Undergraduate Thesis: PC-based Control System for Machine Tool.北京大学.2024-05-18
Master Degree Thesis: The Design and Implementation of Interactive Computer-aided Nesting System.北京大学.2024-05-18
Doctorate Degree Dissertation: The Design and Implementation of Functional Object-Oriented Programming Language FOPL.北京大学.2024-05-18
Object-Oriented Integrated Software Engineering Environment---Jade Bird System II.北京大学.2024-05-18
Research on Integrated Object-Oriented Language BDOL.北京大学.2024-05-18
Research on Object-Oriented Software Process Model.北京大学.2024-05-18
Research on Software Development Method based on Reuse.北京大学.2024-05-18
Technology for Industrialization Production of Software and its Supporting Environment (the 1st phase).北京大学.2024-05-18
Research on Declarative Formal Semantics Model of Objects.北京大学.2024-05-18
Object-Oriented Software Development Method based on Active Object Model and its Supporting System.北京大学.2024-05-18
Research on Component-based Software Development Technology.北京大学.2024-05-18
Technology for Industrialization Production of Software and its Supporting Environment (the 2nd phase).北京大学.2024-05-18
Application of Jade Bird Software Production Line System in Yunnan Province.北京大学.2024-05-18
Research on the Theory and Method for Automated Software Development Process.北京大学.2024-05-18
Research on Software Component Composition Technology.北京大学.2024-05-18
Feature Interaction and Component Composition.北京大学.2024-05-18
Research on Architecture-oriented Software Construction Technology.北京大学.2024-05-18
Research on Architecture-based Component Composition.北京大学.2024-05-18
Theory and Technology for Component Composition.北京大学.2024-05-18
Research on Component-Oriented Domain Engineering Technology.北京大学.2024-05-18
Research on the Theory and Technology of Component Composition.北京大学.2024-05-18
https://faculty.pku.edu.cn/meih/zh_CN/kyxm/43456/content/1733.htm#kyxm.北京大学.2024-05-18
Research on Feature Interaction Problem and Interoperability of Software.北京大学.2024-05-18
Research on Theory and Methodology of Agent-based Middleware on Internet Platform.北京大学.2024-05-18
Research and Building of Model of 2008 Olympic Game's Information System.北京大学.2024-05-18
Research on Refinement Transformation in ABC.北京大学.2024-05-18
Research on Open Software Model for Network Computing Environment.北京大学.2024-05-18
Research on Integration Technology for Common Services in Modern Service Industry.北京大学.2024-05-18
Research on Solution Engineering.北京大学.2024-05-18
2008 World Internet Conference.北京大学.2024-05-18
Research on the Foundational Theory, Method, and Technologies of Trusted Software.北京大学.2024-05-18
Research on Networked Complex Software: Quality and Confidence Assurance, Development Method, and Runtime Mechanism.北京大学.2024-05-18
Research on Privacy-Preserving Data Networks Publishing.北京大学.2024-05-18
Research on IoT (The Internet of Things) and Internetware.北京大学.2024-05-18
Research on the Foundational Theory, Method, and Technologies of Trusted Software.北京大学.2024-05-18
Research on Architecture-driven Construction of Trusted Software.北京大学.2024-05-18
Research on Key Technologies for Internetware Operating System.北京大学.2024-05-18
Research on Bug Tracking Oriented Software Development Technologies.北京大学.2024-05-18
Research on the National Strategy for Developing Open Source Appropriate Technology in IT Industry.北京大学.2024-05-18
Research on the Foundational Theory, Method, and Technologies of Trusted Software.北京大学.2024-05-18
Research on the Foundational Theory and Technologies of Collective Intelligence Software Development.北京大学.2024-05-18
Research on the Software Development Methodology based on Internet–based Collective Intelligence.北京大学.2024-05-18
Research on the Development Strategy of Software Discipline.北京大学.2024-05-18
Research on the Development Strategy of Industrial Internet.北京大学.2024-05-18
梅宏 科研项目.北京大学教师个人主页.2024-04-15
梅宏院士 | 我与“两刊”的故事:二十五年的陪伴.科学网.2023-08-13
科研获奖.北京大学信息科学技术学院软件研究所.2024-05-18
国家科学技术奖励大会.国家科学技术奖励.2023-08-13
国家自然科学奖获奖项目目录.中华人民共和国科学技术部.2023-08-13
泛在操作系统:面向人机物融合泛在计算的新蓝海.CNKI中国知网.2024-05-18
大数据发展与数字经济.CNKI中国知网.2024-05-06
梅宏 论文成果.北京大学教师个人主页.2024-04-15
梅宏 论文成果.北京大学教师个人主页.2024-04-15
大数据发展现状与未来趋势.CNKI中国知网.2024-05-06
软件定义的未来世界.CNKI中国知网.2024-05-18
梅宏 论文成果.北京大学教师个人主页.2024-04-15
开源对软件人才培养带来的挑战.CNKI中国知网.2024-05-18
梅宏 论文成果.北京大学教师个人主页.2024-04-15
梅宏 论文成果.北京大学教师个人主页.2024-04-15
梅宏 论文成果.北京大学教师个人主页.2024-04-15
梅宏 论文成果.北京大学教师个人主页.2024-04-15
A Dynamic-Priority based Approach to Fixing Inconsistent Feature Models.北京大学.2024-05-18
互联网时代的软件技术:现状与趋势.CNKI中国知网.2024-05-06
软件分析技术进展.CNKI中国知网.2024-05-06
基于体系结构的网构软件自适应方法.CNKI中国知网.2024-05-06
一种以软件体系结构为中心的网构软件开发方法.CNKI中国知网.2024-05-06
软件体系结构研究进展.CNKI中国知网.2024-05-06
ABC-S2C:一种面向贯穿特性的构件化软件关注点分离技术.CNKI中国知网.2024-05-06
ABC:基于体系结构、面向构件的软件开发方法.CNKI中国知网.2024-05-06
特征交互问题导论.CNKI中国知网.2024-05-18
软件复用技术研究与应用.CNKI中国知网.2024-05-06
Software component composition based on ADL and Middleware.CNKI中国知网.2024-05-18
Smalltalk程序理解辅助系统BDCom-ST.CNKI中国知网.2024-05-18
青鸟构件库的构件度量.CNKI中国知网.2024-05-06
计算机辅助排料系统ICANS的研制.CNKI中国知网.2024-05-18
南京大学在京举行前沿科技论坛迎接百年华诞.新浪教育频道.2023-08-14
ABC: Supporting software architectures in the whole lifecycle.ResearchGate.2024-05-06
“软件技术”论坛在深圳举行.中国科学院.2023-08-14
北京大学梅宏院士来我校作报告.河南大学新闻网.2024-04-16
梅宏院士应邀来实验室作学术报告.计算机辅助设计国家地方联合工程实验室.2024-04-16
中国科学院院士、上海交通大学副校长梅宏教授作题为《信息科学漫谈》学术报告.大理大学.2024-04-16
关于上海交通大学副校长梅宏教授来我校做报告的通知.太原理工大学软件学院.2024-04-16
中国计算机学会.2017中国计算机大会.2024-04-16
梅宏院士:国家大数据战略对数字经济的推动力.安全内参.2024-04-16
梅宏院士为软件所战略研讨会作报告.中国科学院软件研究所.2024-04-16
中科院院士梅宏:全民数字化思维值得探索.百家号.2023-08-14
大数据专家梅宏率五学者聚澳大谈智慧城市.中华人民共和国澳门特别行政区政府入口网站.2024-04-16
梅宏院士应邀在物联网与无人系统安全与智能论坛作主旨报告.中国科学技术大学计算机科学与技术学院.2024-04-16
中国科学院院士梅宏赴我校作专题报告.贵州工程应用技术学院.2024-04-16
聚焦科博会丨中国科学院院士梅宏:数字化转型已成为时代趋势,开放创新已成为主流.四川发布.2024-04-15
【学术报告】大数据, 这十年(2021年11月12日).中国科学院管理、决策与信息系统重点实验室.2024-04-16
梅宏院士做客清华软件论坛 分享人工群体智能构造新思路.清华大学软件学院.2024-04-16
梅宏在第五届世界科技社团发展与治理论坛上做报告.中国计算机学会.2024-04-16
梅宏院士:数字经济发展对国际治理体系带来重要挑战.一带一路网.2024-04-16
中国科学院院士梅宏周四澳大谈人工群体智能.中华人民共和国澳门特别行政区政府入口网站.2024-04-16
梅宏:公共数据的真正开放应该是原始数据的开放.北京市公共数据开放平台.2024-04-16
梅宏院士:泛在操作系统.中国工业互联网研究院.2024-04-16
中国科学院院士梅宏:推进构建面向全球的开源生态治理体系.中国青年网.2024-04-15
梅宏院士在中国数字经济发展和治理学术年会(2023)上的主旨演讲:数字经济基础设施——探索与实践.清华大学计算社会科学与国家治理实验室.2024-04-15
梅宏院士:发展数字经济,数据要素市场是关键.京报网.2024-04-16
CCF走进我校——梅宏院士话人工智能前沿.武汉理工大学新闻经纬.2024-04-16
国务院国资委举办第二期“智慧国资 数字央企”大讲堂 张玉卓出席并会见主讲人中国科学院院士梅宏.国务院国有资产监督管理委员会.2024-04-16
【“六朝松”大师讲堂】梅宏院士:数字化转型时代的科研创新.东南大学教务处.2024-04-15
大数据与数据科学专著系列 机器学习中的交替方向乘子法.读秀学术.2024-05-06
计算30年 国家863计划计算机主题30年回顾.读秀学术.2024-05-06
一个甲子的畅想 面向未来120项科技预见.读秀学术.2024-05-06
构件化软件设计与实现.读秀学术.2024-05-06
面向复用的需求建模.读秀学术.2024-05-06
软件工程:实践者的研究方法.读秀学术.2024-05-06
软件技术发展.读秀学术.2024-05-06
Smalltalk程序设计导论.读秀学术.2024-05-06
梅宏院士、黄罡教授获得2022年陈嘉庚科学奖信息技术科学奖.北京大学新闻网.2023-08-13
北京大学梅宏院士团队研究成果荣获2018年国家技术发明一等奖.北京大学新闻网.2023-08-13
梅宏院士荣获IEEE计算机分会2015年度技术成就奖.北京大学新闻网.2023-08-13
委员简介.国家制造强国建设战略咨询委员会.2024-05-18
CCF中国数字经济50人论坛成立,梅宏院士为主任委员.今日头条.2023-08-13
【中国科学报】幸福中国呼唤精进奋斗.中国科学院.2023-08-13