您的位置:百家棋牌 > 信息 > 北京大学高可信软件技术学科创新引智基地获批

北京大学高可信软件技术学科创新引智基地获批

2019-10-08 02:34

本届会议联合主席谢涛副教授和张路教授首先致欢迎辞。作为高可信软件技术教育部重点实验室的重要学术活动之一,一年一度的研讨会旨在邀请软件工程机及其相关领域的海内外专家共同研讨高可信软件技术的构造和运行机理等重要挑战性问题;为了提升国际交流与合作的力度,今年做出与引智基地学术研讨同期进行的安排。随后,引智基地学术大师、爱荷华州立大学计算机科学系张可昭教授和引智基地国内负责人、信息学院副院长谢冰教授介绍了基地启动后的建设情况。包括佛罗里达大学/兰卡斯特大学Sumi Helal教授、伊利诺利大学芝加哥分校Ouri Wolfson教授、卡耐基梅隆大学James Herbsleb教授、田纳西大学Aduris Mockus教授在内的引智基地专家分别从物联网、智慧城市、软件供应链等多个角度阐述了他们对高可信软件的理解。会议还特邀香港中文大学吕荣聪教授等从不同的侧面阐述未来软件的新挑战。

该创新引智基地以高可信软件技术教育部重点实验室和软件工程国家工程研究中心为支撑建设,针对软件开发、运行等环节存在海量软件工程数据的现状,拟从可信软件的开发和软件运行时可信保障两个角度探索数据驱动的高可信软件理论、方法与技术,并最终形成兼容数据驱动方法的软件理论体系。基地将引进14位著名海外学者,包括曾任美国电气电子工程师学会计算机分会主席的张可昭教授、欧洲信息学联盟主席Carlo Ghezzi教授,以及美国国家科学院院士、工程院院士、艺术与科学院院士Christos Papadimitriou教授等,由此组成的引智团队具有共同的学术方向和良好的团队扩展性;国内团队由北京大学信息科学技术学院软件研究所谢冰教授、梅宏院士等10位学者组成,与海外引智专家具有扎实的合作基础和深入的合作研究关系。

王博致辞

高可信软件技术教育部重点实验室、高可信软件技术学科创新引智基地的数十位教师,以及其他高校的十余位同仁与会。

日前,教育部和国家外国专家局联合组织的“高等学校学科创新引智计划”新建基地评审结束,50个引智基地作为2017年度新建项目获批立项。其中,北京大学高可信软件技术学科创新引智基地的申请被评为“通讯评审优秀”,直接获批立项。

图片 1

2017年12月13—14日,由北京大学高可信软件技术教育部重点实验室、北京大学信息科学技术学院软件研究所主办的第七届高可信软件技术研讨会暨高可信软件技术学科创新引智基地学术研讨会在北京大学英杰交流中心举行,围绕可信软件所面临的挑战展开为期一天半的学术交流。会议由引智基地多位骨干成员共同主持。

北京大学作为国家首批重点支持的高校,此前先后在生命科学学院、化学与分子工程学院、医学部、城市与环境学院建立了生命科学、分子科学、基础医学、区域生态与环境四个创新引智基地。这四个基地设立以来,在学科建设、团队建设、学术交流、国际合作等方面均取得显著成果,得到了上级主管部门的高度重视和普遍认同。

 

“111计划”始于2006年,是由教育部和国家外国专家局联合实施、为提高高等学校整体水平和国际地位而设立的新型引智项目。该计划以国内优势学科为基础,瞄准国际学科发展前沿,从世界一流大学或研究机构的优势学科队伍中引进学术大师和学术骨干,配以一批国内优秀科研骨干;以建设学科创新引智基地为手段,加大成建制引进海外人才的力度,进一步提升高校引进国外智力的层次,促进引进海外人才与国内科研骨干的融合,开展高水平的合作研究和学术交流,全面提升高校科技创新能力和综合竞争实力。

延伸阅读

为推动北京大学信息科学与人文社会科学的交叉研究,经学校批准,成立北京大学计算社会科学研究中心,挂靠信息科学技术学院,高可信软件技术教育部重点实验室副主任王腾蛟教授担任主任。该中心旨在构建“计算社会科学”这一新兴学科的科研协作平台,为培养具有计算思维和创新能力的社会科学研究人才服务,为信息科学与人文社会科学学者提供有效的科研协作机制。

王博指出,计算社会科学为人们提供了重要的分析人类社会复杂行为模式的科研方法。利用先进计算技术对复杂的人类行为及社会运行进行深入、精细的跨学科研究,大大提高了人们理解、分析和预测社会规律的能力。斯坦福大学、哈佛大学等先后成立专业机构,从事该领域的探索和人才培养工作。中心的成立标志北大在创立“计算社会科学”这一新兴交叉学科研究、创建重要的前沿交叉协作研究机制上迈出重要一步。

图片 2

黄如介绍了中心的前期筹备过程,以及信息学院与人文社科院系合作取得的创新性成果。她用“机不可失,时不我待”勉励从业的青年学者,要充分利用北大的综合学科优势,投身前沿领域研究,勇于开拓,努力创新。

张国有论述了用数据和计算手段分析人类社会活动的必要性与重要性,鼓励不同专业的学者在这一平台上尽快开展交叉研究。

2018年6月28日,北京大学计算社会科学研究中心成立大会暨学术研讨会在英杰交流中心月光厅举行。会议由北大信息科学技术学院主办,北京大学副校长王博、信息学院院长黄如院士、经济与管理学部主任张国有教授等出席并致辞,高可信软件技术教育部重点实验室副主任王腾蛟教授主持。

来自社会科学部、科学研究部、信息学院、人文社科相关院系,以及国内知名高校、有关国家部委、新华网等校内外业界专家和嘉宾见证了中心成立揭牌仪式。

 

责编:山石

在随后的学术研讨会上,王腾蛟首先作题为“计算社会科学:信息科学与社会科学的共同机遇”的主旨报告。北大经济与管理学部副主任刘国恩教授、中国社会科学调查中心主任李强教授分别从经济管理与社会调查领域分析了计算社会科学研究的重要性。新华网技术总监刘冬、绿欣科技发展(北京)有限公司总经理彭放和联合信用投资咨询有限公司总经理聂逆分别从新闻传播、政务管理和企业信用领域阐述了计算社会科学在产业界的应用需求和前景。

揭牌仪式

本文由百家棋牌发布于信息,转载请注明出处:北京大学高可信软件技术学科创新引智基地获批

关键词: