澳门老虎游戏机_澳门老虎机游戏平台网址

专题链接

学术看板 当前位置: 首页 > 专题链接 > 学术看板 > 正文

学术讲座:广州大学陈建二教授讲座通知

作者: 来源: 澳门老虎游戏机阅读次数:日期:2019年07月18日

学术讲座
一、主题:The Arts of Satisfiability: Algorithms and Complexity

二、主讲人:陈建二 广州大学计算机科学与网络工程学院 教授
三、时间:720日 下午3:00-4:00

四、地点:主楼B1-501

五、主持人:计算机学院 肖鸣宇 教授
六、内容简介:

The Satisfiability problem (SAT) and its optimization version Max-SAT have been central to the research in computer science with wide applications in many areas such as software testing, AI, bioinformatics, and computational optimization. In this talk, we will focus on the theoretical advances and recent progresses in the study of algorithms and complexity of SAT and MaxSAT problems. We study the complexity of the problems and survey techniques that have been proven effective in development of algorithms for the problems. In particular, we will present in detail some new techniques based on resolution and domination that lead to faster algorithms for the problems.  

七、主讲人简介:

陈建二,男, 中南大学计算机科学专业本科毕业,美国纽约大学计算机科学博士,美国哥伦比亚大学数学博士。国际期刊《Journal of Computer and System Sciences》和《IEEE Transactions on Computers》编委、以及《中国科学:信息科学》和《计算机学报》编委。现任广州大学计算机科学与网络工程学院教授。获中国国家自然科学基金委杰出青年基金(B类)、教育部长江学者特聘教授、教育部高等学校自然科学一等奖(排名第1)、教育部长江学者创新团队带头人。主持了多项国家自然科学基金委和教育部的重点项目和面上项目,并作为重要成员参加了国家基金委创新研究群体和科技部的重点项目。研究领域包括计算机算法设计分析和应用研究、计算复杂性理论、生物信息学和计算机图形学。

八、主办单位:计算机科学与工程学院(网络空间安全学院)