华东师范大学 博士学位论文答辩公告
发布时间：2022-06-18
兹定于 2022 年 6 月 26 日 9 时，在
腾讯会议 960-743-352 （如安排线上答辩请填写会议平台及会议号）举行 软件工程（专业）博士学位论文答辩会，欢迎旁听。
论文题目：面向嵌入式设计需求的形式化建模与验证
院系 | 博士学位申请者 | 导师 |
软件工程学院 | 冯劲草 | 蒲戈光教授 |
答辩委员会成员
姓名、职称 | 工作单位 | 是否博导 | 备注 |
杨孟飞教授 | 北京控制工程研究所 | 是 | 主席 |
金芝教授 | 北京大学 | 是 |
|
詹乃军教授 | 中科院软件所 | 是 |
|
李青山教授 | 西安电子科技大学 | 是 |
|
顾斌研究员 | 北京控制工程研究所 | 是 |
|
|
|
|
|
注：博士研究生请在答辩前一周进行公告。
华东师范大学 软件工程 学位评定分委员会
华东师范大学学位管理办公室
2022年6月18日