?报告人: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日访问中国科学技术大学苏州研究院进行讲学和学术交流。此次讲座也是学术交流的一部分,对于软件学院学院来说,属于一次行业系统讲座,欢迎感兴趣的广大师生参加。
|