报告题目：Model Checking and Curse of Dimensionality

（模型检验和维数灾难 ）

报告人：Edmund M.Clarke教授(图灵奖获得者)学术报告

报告时间：2013年10月25日（星期五）9:30

报告地点：红楼学术报告厅

报告人简介：Edmund M.Clarke现任美国卡内基梅隆大学计算机科学系教授、ACM和IEEE会士。他在软硬件验证、自动定理证明、形式方法等方面享有崇高的国际声誉，是模型检验方法的开创者之一，2007年获ACM图灵奖。