陈树伟、徐鹏、何星星老师指导的2021级硕士研究生开题公告
2022-12-15 点击：[]
时间：2022年12月16日15:00
腾讯会议：260-318-063
专家组成员：Jun Liu、陈树伟、徐鹏、何星星
学号 |
姓名 |
专业 |
题目 |
导师 |
2021201710 |
兰咏琪 |
数学 |
自动定理证明中面向前提选择的图表示法研究 |
何星星 |
2021201687 |
姜世攀 |
数学 |
一阶逻辑定理证明器CSE中的冗余子句删除与演绎子句选取策略 |
陈树伟 |
2021201683 |
贾昊洲 |
数学 |
面向RFID安全协议的研究与形式化分析 |
徐鹏 |
欢迎广大师生莅临指导！
上一条：转：西南交通大学2023年硕士研究生招生考试初试成绩查询和申请复核公告
下一条：周正春、范翠玲、杨洋老师指导的2021级硕士研究生开题公告
【关闭】
