搜索结果: 1-2 共查到“Edmund M.Clarke”相关记录2条 . 查询时间(0.095 秒)
图灵奖获得者Edmund M.Clarke访问软件研究所
图灵奖 Edmund M.Clarke 软件研究所
2013/4/24
2013年4月19日,应基础软件国家工程研究中心实验室邀请,2007年ACM图灵奖获得者Edmund M.Clarke教授到中科院软件研究所进行访问,并作题为Turing’s Computable Real Numbers and Why They Are Still Important Today的学术讲座,讲座由杨秋松副研究员主持。来自中科院、北京大学、北京信息科技大学等院校的40余名老师和学...
北京大学“信息技术与信息化”名家讲坛——图灵奖得主Edmund M. Clarke教授开讲(图)
名家讲坛 教授 开讲
2011/12/12
应北京大学信息科学技术学院的邀请,世界著名计算机科学家、计算机科学最高荣誉图灵奖获得者Edmund M. Clarke教授于10月21日上午莅临北京大学“信息技术与信息化”名家讲坛,为师生作了题为“形式化方法前沿问题”的精彩报告。