【苏州】行业系统讲座--Model Checking and the Curse of Dimensionality
?报告人:Edmund Clarke (Carnegie Mellon University)
  时间:20131021日(周一)上午10:40
地点:中科大苏州研究院唯真楼一楼报告厅

报告人简介:
著名计算机科学家Edmund Clarke是卡耐基梅隆大学教授,是形式化验证领域中模型检查(Model Checking)技术的创始人之一。Clarke教授是ACMIEEE Fellow、美国国家科学院和工程院院士。2007Clarke教授与E Allen EmersonJoseph Sifakis共同获得图灵奖,以表彰他们在开发模型检查技术,并使之成为一个广泛应用在硬件和软件工业中非常有效的算法验证技术方面所做的奠基性贡献。
作为中科院爱因斯坦讲习教授,Clarke教授于1020日至27日访问中国科学技术大学苏州研究院进行讲学和学术交流。此次讲座也是学术交流的一部分,对于软件学院学院来说,属于一次行业系统讲座,欢迎感兴趣的广大师生参加。


行业系统讲座
教学部         发布人:杨照芬
发布时间:2013-10-18

评分

参与人数 2学分 +40 收起 理由
vo_ + 20 感谢您为软院筒子们提供有用信息!
小马 + 20 感谢您为软院筒子们提供有用信息!

查看全部评分

共收到 10 条回复
terry · #2 · 2013-10-18 12:31:21  回复
给力~
蜘蛛鱼鱼 · #3 · 2013-10-18 16:00:25  回复 支持 反对
必须得去啊
vo_ · #4 · 2013-10-18 18:15:08  回复 支持 反对
小许好银啊~~~把我的活给干啦,THX~~~
蛰伏 · #5 · 2013-10-18 19:32:02  回复 支持 反对
图灵奖啊 !!!大牛来了
antty · #6 · 2013-10-18 23:23:02  回复 支持 反对
卡耐基梅隆大学+图灵奖  
zachary · #7 · 2013-10-19 20:01:43  回复 支持 反对
没有合肥啊。。。。。

点评

不清楚呢,欢迎你过这边来哦  详情 回复 发表于 2013-10-19 21:50
小许 · #8 · 2013-10-19 21:50:45  回复 支持 反对
zachary 发表于 2013-10-19 20:01
没有合肥啊。。。。。

不清楚呢,欢迎你过这边来哦

点评

这开销不小啊。。。。。。。。。  详情 回复 发表于 2013-10-19 21:54
zachary · #9 · 2013-10-19 21:54:10  回复 支持 反对
小许 发表于 2013-10-19 21:50
不清楚呢,欢迎你过这边来哦

这开销不小啊。。。。。。。。。

点评

为了现场感受大牛的熏陶  详情 回复 发表于 2013-10-19 22:03
小许 · #10 · 2013-10-19 22:03:12  回复 支持 反对
zachary 发表于 2013-10-19 21:54
这开销不小啊。。。。。。。。。

为了现场感受大牛的熏陶

点评

......  详情 回复 发表于 2013-10-19 22:06
zachary · #11 · 2013-10-19 22:06:21  回复 支持 反对
小许 发表于 2013-10-19 22:03
为了现场感受大牛的熏陶

......
回帖
B Color Image Link Quote Code Smilies
Command + Enter
快速回复 返回顶部 返回列表