当前位置: www.89677.com > 信息科学 > 正文

基于情境的安全攸关软件的构造方法与运行机理

时间:2019-11-17 04:34来源:信息科学
2014年12月25日,由北京大学信息科学技术学院、香港中文大学深圳研究院承担的国家重点基础研究发展计划青年科学家专题项目“基于情境的安全攸关软件的构造方法与运行机理研究”

2014年12月25日,由北京大学信息科学技术学院、香港中文大学深圳研究院承担的国家重点基础研究发展计划青年科学家专题项目“基于情境的安全攸关软件的构造方法与运行机理研究”2014年度总结会在西郊宾馆举行。北京大学信息科学技术学院何新贵院士、梅宏院士,北京航空航天大学中德联合软件研究所所长钱德沛教授,日本国立情报研究所教授、北大信息学院“长江学者奖励计划”讲座教授胡振江,南京大学计算机科学与技术系李宣东教授,清华大学软件学院副院长王建民教授,中国科学院软件研究所张健研究员,北大信息学院软件研究所副所长黄罡教授,科技部基础研究管理中心谢夏博士等专家、领导莅临会议。

2014年1月19日,由信息科学技术学院软件研究所、香港中文大学深圳研究院承担的国家“973计划”青年科学家专题项目“基于情境的安全攸关软件的构造方法与运行机理研究”在北京大学理科一号楼召开了启动会。项目责任专家吕建院士、钱德沛教授,项目专家组梅宏院士、吕荣聪教授、王怀民教授、李宣东教授、王建民教授、张健教授、黄罡教授,科技部基础研究管理中心辛圣炜博士,学校科研部韦宇副部长、张琰主任、廖日坤副主任,项目负责人熊英飞“百人计划”研究员,项目骨干郝丹副教授、刘譞哲副教授、周扬帆研究员、郑子彬副研究员等参加了会议。

近日,科技部公布了国家重点基础研究发展计划2014年启动的160个项目。软件研究所“百人计划”研究员熊英飞担任负责人的青年科学家专题项目《基于情境的安全攸关软件的构造方法与运行机理研究》获批。这是继去年现代通信所“百人计划”研究员宋令阳项目获批之后,我院第二个该专题的立项项目。 该项目主要成员还包括软件研究所郝丹副教授、刘譞哲副教授,以及香港中文大学深圳研究院的周扬帆研究员和郑子彬副研究员。

项目负责人熊英飞“百人计划”研究员,项目骨干郝丹副教授、刘譞哲副教授、周扬帆研究员、郑子彬副研究员等参加了会议。

会议伊始,钱德沛教授致辞,对项目的执行提出了要求和期望。随后,项目负责人、北大信息学院“百人计划”研究员熊英飞从本年度研究工作开展、研究成果、人才成长等方面,代表项目组做了详细、深入的汇报。来自北大信息学院软件所的项目骨干郝丹副教授、刘譞哲副教授,以及香港中文大学深圳研究院周扬帆研究员、郑子彬副研究员,以及熊英飞研究员相继汇报了安全攸关软件构造方法、情境预测、网络软件情境适应与演化技术、情境监控和内存情境等子课题的研究进展和成果,并回答专家组的提问。

www.89677.com,与会专家充分肯定该项目的目前进展,对项目研究的开展情况给予认真评议和充分讨论,并对项目如何进一步凝炼研究内容、寻找落地应用场景提出了建议。www.89677.com 1

编辑:信息科学 本文来源:基于情境的安全攸关软件的构造方法与运行机理

关键词: