2021級碩士研究生中期檢查公告（四）
2023-09-14 點擊：[]
碩士研究生中期檢查公告
時間：2023年9月14日 15:00
地點：犀浦30423
專家：陳樹偉，何星星，徐鵬，王恪銘
學號 | 姓名 | 專業(yè) | 題目 | 導師 |
2021201687 | 姜世攀 | 數學 | 基于無效子句刪除與演繹子句選取的一階邏輯定理證明器CSE優(yōu)化研究 | 陳樹偉 |
2021201710 | 蘭詠琪 | 數學 | 自動定理證明中面向前提選擇的圖表示法和圖神經網絡研究 | 何星星 |
2021201683 | 賈昊洲 | 數學 | 物聯(lián)網RFID系統(tǒng)輕量級認證協(xié)議安全性研究 | 徐鵬 |
上一條：2023年博士畢業(yè)論文答辯安排（四）
下一條：2023年博士畢業(yè)論文答辯安排（三）
【關閉】
