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