当前位置:  网站首页 > 开放与交流 > 学术报告 > 可满足性问题:算法与复杂性研究
可满足性问题:算法与复杂性研究
发布日期:2015-06-24
中南大学陈建二教授受邀来院做学术报告
题 目:可满足性问题:算法与复杂性研究
报告人: 陈建二 教授
时 间:2015年6日25日下午3:00
地 点:数计院306室
陈建二,中南大学信息科学与工程学院教授,博士生导师,中组部千人计划专家、国家基金委杰出青年基金(B类)获得者、教育部长江学者特聘教授。
主要从事计算机理论及应用的研究,在算法设计与分析、计算优化理论、生物信息学和网络优化理论等领域进行了深入系统的研究,是世界上最早参加参数计算理论与方法研究的研究者和发起人之一,在参数计算理论、参数算法设计与分析技术、参数计算应用等方面取得了一系列世界领先的研究成果。
数学与计算机科学学院
2015年6月24日