判定算法与模型分析

时间：6月20日上午10点

地点：哲学系一层会议室


摘要：介绍模型论/判定算法在一些实用领域(机器人控制，航空航天，生物医疗)里的广泛应用和重要性，着重讲解一些前沿的问题和方向。

欢迎大家参加！

高思存博士06年在北大哲学系逻辑学专业本科毕业，后师从图灵奖得主Edmund Clarke教授进行模型检测方面的研究工作并获博士学位，目前在CMU进行博士后研究。

高思存博士主页：
http://www.cs.cmu.edu/~sicung/