教学通知
教学通知
首页  >  教育教学  >  研究生教学  >  教学通知  >  正文

    陈树伟、徐鹏、何星星老师指导的2021级硕士研究生开题公告

    2022-12-15  点击:[]

    时间2022121615:00

    腾讯会议260-318-063

    专家组成员Jun Liu、陈树伟、徐鹏、何星星

    学号

    姓名

    专业

    题目

    导师

    2021201710

    兰咏琪

    数学

    自动定理证明中面向前提选择的图表示法研究

    何星星

    2021201687

    姜世攀

    数学

    一阶逻辑定理证明器CSE中的冗余子句删除与演绎子句选取策略

    陈树伟

    2021201683

    贾昊洲

    数学

    面向RFID安全协议的研究与形式化分析

    徐鹏

    欢迎广大师生莅临指导!

     

    下一条:周正春、范翠玲、杨洋老师指导的2021级硕士研究生开题公告

    关闭