合作交流

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

发布时间:2016-12-08

信息来源:本站

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

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

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

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