您的位置:澳门新葡8455手机版 > 信息科学 > 北京大学高可信软件技术学科创新引智基地获批

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

发布时间:2019-11-02 23:32编辑:信息科学浏览(187)

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

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

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

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

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

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

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

    本文由澳门新葡8455手机版发布于信息科学,转载请注明出处:北京大学高可信软件技术学科创新引智基地获批

    关键词:

上一篇:水利创新设计大赛报名名单

下一篇:没有了