报告题目：工业软件可靠性、安全性的工程化理论与基础

报  告  人: 王浩 高级工程师

报告时间：2025年11月26日（周三）19：30

报告地点：腾讯会议832-497-298 实验楼2B211

研究生院 电气与控制工程学院

2025年11月26日

报告人简介：

王浩，中国电科二十所高级工程师，装备发展部某专项实验室牵头成员，CCF形式化方法专业委员会委员，中国指挥与控制学会智能测评专业委员会委员。长期致力于嵌入式软件可信保障技术与软件工程化方法的研究及相关工具研制工作。负责构建了覆盖嵌入式软件测试全过程的完整工具链，有力推动了软件工程化与形式化方法等关键技术的产业化应用。其研发的技术已在低空飞行器、北斗导航卫星以及水下兵器等多个重要领域的软件开发与测试中得到广泛应用。