按照《2026世界杯官方网址学术型博士公司产品过程管理实施细则》要求，现将公司博士研究生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 |
欢迎广大师生旁听！
世界杯官方网站入口2026研究生教学办公室
2023年10月10日
