2021级硕士研究生答辩公告（九）
2024-05-06 点击：[]
答辩时间：2024年5月11日14:00
答辩地点：X30423
答辩安排：
序号 | 姓名 | 学号 | 导师 | 论文题目 | 答辩主席 | 答辩委员 | 答辩秘书 |
1 | 王 豪 | 2021201672 | 秦克云 | 粗糙近似算子的格结构 | 徐 扬 | 钟小梅，陈树伟，徐鹏，何星星 | 吴贯锋 |
2 | 刘银山 | 2021201690 | 秦克云 | 基于邻域系统的粗糙近似算子的代数结构 | 徐 扬 | 钟小梅，陈树伟，徐鹏，何星星 | 吴贯锋 |
3 | 姜世攀 | 2021201687 | 陈树伟 | 基于子句分类的一阶逻辑定理证明器CSE优化研究 | 徐 扬 | 秦克云，钟小梅，徐鹏，何星星 | 吴贯锋 |
4 | 贾昊洲 | 2021201683 | 徐 鹏 | 物联网RFID系统轻量级认证协议安全性研究 | 徐 扬 | 秦克云，陈树伟，钟小梅，何星星 | 吴贯锋 |
5 | 兰咏琪 | 2021201710 | 何星星 | 自动定理证明中面向前提选择的图表示法和图神经网络研究 | 徐 扬 | 秦克云，陈树伟，徐鹏，钟小梅 | 吴贯锋 |
欢迎广大师生莅临指导！
上一条：西南交通大学数学学院2024年“申请-考核”博士研究生材料评议办法
下一条：2021级硕士研究生答辩公告（八）
【关闭】
