搜索结果: 1-3 共查到“会议中心 Clarke”相关记录3条 . 查询时间(0.046 秒)
图灵奖得主Clarke教授访问中国科学技术大学苏州研究院
图灵奖 Clarke 爱因斯坦
2013/10/31
2013年10月20日至27日，美国卡内基梅隆大学计算机系教授、中国科学院“爱因斯坦讲席教授”、图灵奖得主EdmundClarke对中国科学技术大学苏州研究院进行了为期8天的学术访问与交流。
图灵奖得主Clarke教授访问中国科学技术大学苏州研究院
图灵奖 Clarke 爱因斯坦
2013/10/31
2013年10月20日至27日，美国卡内基梅隆大学计算机系教授、中国科学院“爱因斯坦讲席教授”、图灵奖得主EdmundClarke对中国科学技术大学苏州研究院进行了为期8天的学术访问与交流。
北京大学“信息技术与信息化”名家讲坛——图灵奖得主Edmund M. Clarke教授开讲（图）
名家讲坛 教授 开讲
2011/12/12
应北京大学信息科学技术学院的邀请，世界著名计算机科学家、计算机科学最高荣誉图灵奖获得者Edmund M. Clarke教授于10月21日上午莅临北京大学“信息技术与信息化”名家讲坛，为师生作了题为“形式化方法前沿问题”的精彩报告。