信息门户
学子心声
资讯中心
资讯网 思政文明网 安徽师大报 师大图片网 校广播台 官方微博 校记者团
安徽师资
亚洲杯足彩基金会
皖江学院
组织机构 党政办公室 宣传部 人事处 教务处 学生工作处 财务处 后勤与保卫管理处 科研处 皇冠新宝2足球网办公室 工会 图书馆
人文传播系 外语系 经济系 管理系 电子工程系 化学工程系 视觉艺术系 音乐系 体育系 体委 学前亚洲杯足彩系 思政亚洲杯足彩部 实验中心

【校庆学术报告】北京大学王捍贫教授做客文津论坛

皇冠新宝2足球网
学术师大
阅读页面
时间:2018-05-22
添加:高可飞

本网讯(文/黄琤 方群 高可飞 /张泽培) 518日下午,皇冠新宝2足球网85届校友、北京大学App研究所副所长、信息科学技术学院王捍贫教授应邀作了题为“布尔Holant问题的计算复杂性”的学术报告。报告会由方群教授主持,学院部分教师、研究生和本科生近50余人聆听了报告。

王捍贫教授首先针对Holant问题,从计算机算法理论中的研究热点问题——Clay研究所七大数学难题——PNP问题的等价性入手;接着给出计算复杂性类的分层,并指出计数问题比判定问题更难!稍后给出二分性的定义,由此引出Holant问题的计算复杂性,并且向大家说明了计算复杂性类的二分定理研究意义以及非负布尔Holant问题的二分定理,最后展示了他已经取得的最好结果及同行结果。 

报告会上,王捍贫教授怀着对母校深深的爱意和感激之情向母校九十华诞送上了深深的生日祝福!报告结束后,王捍贫教授和与会师生进行了热烈的互动与交流,现场气氛活跃,报告会取得了良好的学术交流效果。

王捍贫教授系皇冠新宝2足球网1985届数学专业毕业生,多年来一直从事计算机理论,研究方向包括程序逻辑、程序语义,计算机系统的描述与验证等方向的理论研究工作,已在包括JPDCICALPCSLTCS、中国科学等国内外重要学术杂志上发表论文70余篇,教材或译著7部。主持国家自然科学基金3项,主持参与973计划子课题3, 主持863计划一项,获得亚洲杯足彩部高等学校科学技术奖励自然科学奖一等奖、北京大学杨-王院士奖、日本大川研究基金研究助成奖等重要奖项,目前还兼任中国人工智能学会常务理事,中国人工智能学会离散智能专委会主任委员。


 



时间:2018-05-22
添加:高可飞
预审:
审核:谭书龙
点击:3294
师大官方微博二维码
师大官方微信二维码
学校校友
XML 地图 | Sitemap 地图