| 答辩人 ：吴润方 | 专业：网络空间安全 | 导师：杜晔 |
| 题目：面向安全苛求系统的需求智能化建模与验证方法研究 |
| 时间：2026-09-12 14:30:00 |
| 地点：科技大厦1621 |
【答辩委员会成员】
| 职务 | 姓名 | 单位 |
| 主席 | 刘立祥 | 中科院软件所 |
| 委员 | 王醒策 | 北京师范大学 |
| 委员 | 何永忠 | 北京交通大学 |
| 委员 | 黎琳 | 北京交通大学 |
| 委员 | 张大伟 | 北京交通大学 |
| 秘书 | 陈贺男 | 北京交通大学 |
发布日期：2026-09-09 阅读次数： 信息来源：推送
| 答辩人 ：吴润方 | 专业：网络空间安全 | 导师：杜晔 |
| 题目：面向安全苛求系统的需求智能化建模与验证方法研究 |
| 时间：2026-09-12 14:30:00 |
| 地点：科技大厦1621 |
【答辩委员会成员】
| 职务 | 姓名 | 单位 |
| 主席 | 刘立祥 | 中科院软件所 |
| 委员 | 王醒策 | 北京师范大学 |
| 委员 | 何永忠 | 北京交通大学 |
| 委员 | 黎琳 | 北京交通大学 |
| 委员 | 张大伟 | 北京交通大学 |
| 秘书 | 陈贺男 | 北京交通大学 |