徐扬教授指导的博士生马方立、钟建、吴贯锋、常文静开题报告公告

来源:信息科学与技术学院  作者:刘明慧  日期:2017-10-27  点击数:161

开题时间:2017年10月30日(周一下午)14:00-17:00

开题地点:九里校区信息楼(1020会议室)

专家组成员:徐扬教授、黄天民教授、李天瑞教授

姓名

学号

导师

专业

报告题目

马方立

12047037

徐扬

计算机科学与技术

二维无源距离差定位建模与布局研究

13047027

徐扬

计算机科学与技术

基于矛盾体分离的一阶逻辑自动定理证明系统(ATP)研究及其应用

吴贯锋

2014300090

徐扬

计算机科学与技术

基于矛盾体分离的动态自动演绎推理系统研究

常文静

2014300091

徐扬

计算机科学与技术

基于矛盾体分离的动态自动演绎推理SAT求解器及其应用