判定算法与模型分析
时间：6月20日上午10点
地点：哲学系一层会议室
摘要：介绍模型论/判定算法在一些实用领域(机器人控制，航空航天，生物医疗)里的广泛应用和重要性，着重讲解一些前沿的问题和方向。
欢迎大家参加！
高思存博士06年在北大哲学系逻辑学专业本科毕业，后师从图灵奖得主Edmund Clarke教授进行模型检测方面的研究工作并获博士学位，目前在CMU进行博士后研究。
高思存博士主页： http://www.cs.cmu.edu/~sicung/
