2014年12月25日,由北京大学信息科学技术学院、香港中文大学深圳研究院承担的国家重点基础研究发展计划(“973计划”)青年科学家专题项目“基于情境的安全攸关软件的构造方法与运行机理研究”2014年度总结会在西郊宾馆举行。北京大学信息科学技术学院何新贵院士、梅宏院士,北京航空航天大学中德联合软件研究所所长钱德沛教授,日本国立情报研究所教授、北大信息学院“长江学者奖励计划”讲座教授胡振江,南京大学计算机科学与技术系李宣东教授,清华大学软件学院副院长王建民教授,中国科学院软件研究所张健研究员,北大信息学院软件研究所副所长黄罡教授,科技部基础研究管理中心谢夏博士等专家、领导莅临会议。
项目负责人熊英飞“百人计划”研究员,项目骨干郝丹副教授、刘譞哲副教授、周扬帆研究员、郑子彬副研究员等参加了会议。
会议伊始,钱德沛教授致辞,对项目的执行提出了要求和期望。随后,项目负责人、北大信息学院“百人计划”研究员熊英飞从本年度研究工作开展、研究成果、人才成长等方面,代表项目组做了详细、深入的汇报。来自北大信息学院软件所的项目骨干郝丹副教授、刘譞哲副教授,以及香港中文大学深圳研究院周扬帆研究员、郑子彬副研究员,以及熊英飞研究员相继汇报了安全攸关软件构造方法、情境预测、网络软件情境适应与演化技术、情境监控和内存情境等子课题的研究进展和成果,并回答专家组的提问。
与会专家充分肯定该项目的目前进展,对项目研究的开展情况给予认真评议和充分讨论,并对项目如何进一步凝炼研究内容、寻找落地应用场景提出了建议。