按照《西北工业大学学术型博士研究生培养过程管理实施细则》要求，现将我院博士研究生ABEER SAEED ABDO HADAD的开题答辩信息公示如下：
姓名 | 学科/专业 | 论文题目 | 答辩时间 | 答辩地点 |
ABEER SAEED ABDO HADAD | 软件工程 | Theory and method of automatic generation of complex loop invariants for mission-critical software in aviation | 10月13日09：00 | 友谊校区 毅字楼 709 |
欢迎广大师生旁听！
软件学院研究生教学办公室
2023年10月10日
