演 讲 人: 高思存 (美国卡耐基梅隆大学逻辑专业博士生)
演讲题目：计算理论中两个困难的逻辑问题
时   间：6月10日下午1:30-4:20
地   点：文史楼 107
主   办：逻辑、语言与认知研究中心

内容简介：

1. P/NP问题与有限模型论 (P/NP and Finite Model Theory)
2. 实闭域上一阶理论的量词消解问题 (Efficient Quantifier Elimination for the First-order Theory over Real Closed Fields)

演讲人介绍：

   高思存，2002-2006在北大逻辑学专业学习，获哲学和数学双学士学位；2006年起在卡内基梅隆大学理论与应用逻辑(http://logic.cmu.edu)专业攻读博士学位，师从 Edmund Clarke （2007 年图灵奖获得者）和 Jeremy Avigad，方向为判定算法(Decision Procedures)研究。