小许 发表于 2013-10-18 12:26:45

行业系统讲座10月21日（周一）上午10:40--Model Checking and the Curse of Dimens...


【苏州】行业系统讲座--Model Checking and the Curse of Dimensionality

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



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

terry 发表于 2013-10-18 12:31:21

给力~

蜘蛛鱼鱼 发表于 2013-10-18 16:00:25

必须得去啊

vo_ 发表于 2013-10-18 18:15:08

小许好银啊~~~把我的活给干啦，THX~~~{:7_288:}

蛰伏 发表于 2013-10-18 19:32:02

图灵奖啊 ！！！大牛来了

antty 发表于 2013-10-18 23:23:02

卡耐基梅隆大学+图灵奖{:6_163:}

zachary 发表于 2013-10-19 20:01:43

没有合肥啊。。。。。

小许 发表于 2013-10-19 21:50:45

zachary 发表于 2013-10-19 20:01
没有合肥啊。。。。。

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

zachary 发表于 2013-10-19 21:54:10

小许 发表于 2013-10-19 21:50
不清楚呢，欢迎你过这边来哦

这开销不小啊。。。。。。。。。{:8_364:}

小许 发表于 2013-10-19 22:03:12

zachary 发表于 2013-10-19 21:54
这开销不小啊。。。。。。。。。

为了现场感受大牛的熏陶{:6_163:}

zachary 发表于 2013-10-19 22:06:21

小许 发表于 2013-10-19 22:03
为了现场感受大牛的熏陶

{:8_362:}......
页: [1]
查看完整版本: 行业系统讲座10月21日（周一）上午10:40--Model Checking and the Curse of Dimens...