小组两位博士后获批国家自然科学基金项目

近日，2023年度国家自然科学基金立项结果正式公布，软件系统安全保障小组博士后梁杰和苏卓喜获基金资助。梁杰博士申报的《时序数据库安全测试》获批国自然青年基金项目；苏卓博士申报的《模型驱动的嵌入式软件代码生成》获批国自然面上项目。