徐扬教授指导的博士生吴贯锋、常文静答辩公告

来源:信息科学与技术学院  作者:刘明慧  日期:2019-05-08  点击数:198
时间:2019年5月13日(周一下午)14:00-17:00
地点:九里校区信息楼十楼 1020会议室
专家组成员:
孟丹教授    西南财经大学经济信息工程学院
舒兰教授     电子科技大学数学科学学院
杨晗教授     西南交通大学数学学院  
李天瑞教授 西南交通大学信息科学与技术学院
秦克云教授 西南交通大学数学学院

答辩研究生信息:
姓名         学号             导师       专业         方向          论文题目
吴贯锋 2014300090  徐扬教授 计算机科学与技术 智能信息处理 关于并行求解器和并行自动演绎推理系统的研究
常文静 2014300091  徐扬教授 计算机科学与技术 智能信息处理 基于矛盾体分离的多元动态自动演绎推理的SAT求解器及其应用研究